Subject: suggested revision of LRM 1.3.2.1
From: Anthony McIsaac (anthony.mcisaac@st.com)
Date: Thu Sep 26 2002 - 06:20:42 PDT
Following the meeting on Monday, here is my suggested revision of the start of
section 1.3.2.1 on page 2.
A Sugar specification can also be used to automatically generate checks of
simulations. This can be done, for example, by directly integrating the checks
in the simulation tool; by interpreting the Sugar formulae in a testbench
automation tool that drives the simulator; by generating HDL monitors
that are simulated alongside the design; or by analysing the traces produced
at the end of the simulation.
For instance, the following Sugar property:
[ as in original text up to:]
.... a tool which automatically generates simulatable checkers.
While all Sugar properties can be in principle be checked for finite paths in
simulation, the implementation of the checks is often significantly simpler
for a subset called the subset that is checked on the fly ..........
Anthony
-- Anthony McIsaacSTMicroelectronics Limited 1000 Aztec West Almondsbury Bristol BS32 4SQ
Tel: ++44 (0)1454 462466 Fax: ++44 (0)1454 617910
Email: Anthony.McIsaac@st.com
This archive was generated by hypermail 2b28 : Thu Sep 26 2002 - 06:22:54 PDT