home *** CD-ROM | disk | FTP | other *** search
- Release Notes for SIMIC Version 1
- ---------------------------------
-
- Release History:
-
- Version 1.01.00
- -------------------------------------------------------------------------------
- (1) JK timing checks could not be disabled properly. This has been
- corrected.
- (2) The SIMIC circuit compiler did not accept by pin-name connections
- in the form: "<signal_list(pin_list)>", only "<signal(pin)>", or
- "signal(pin)". This has been corrected.
- (3) Corrected problem with the compilation of the RAM primitives.
- (4) Reduced storage requirements for small RAMs (< 1024 words).
- (5) Fixed problem with BTGBUS elements with drivers that can vary
- delays. This could result in the program crashing.
- (6) Added Fault sensitization analysis. See SENSITIZE command in
- manual for full documentation.
- (7) Added Fault grading analysis. See FAULT command in manual for
- full documentation.
-
- Version 1.00.04
- --------------------------------------------------------------------------------
- (1) Added NQ output option for the D-latch and all flip-flop primitives.
- This output is is treated independent of Q in terms of hazard analysis
- and delay parameters.
- (2) Allow a macro to be specified without any internal parts, if the macro
- has only input pins. This allows non-simulation entities (such as bus
- terminators) to be included in the description without adding any
- elements to the circuit.
- (3) Fixed simulation topology error when primitive inputs were connected
- to UNUSED.
- (4) Fixed Boolean equation parser to match literals exactly, rather than
- accepting prefix.
- (5) Boolean state variables remained at an X value. States are now
- properly updated.
- (6) Warning message was not issued if applied pattern's width was not the
- same as the list of signals designated. The message comes out now.
- (7) Writing to ram would set to zero 4 bits in the following address, if
- the number of data lines was a multiple of 4. This has been corrected.
- (8) Patterns specified with format option characters (%#*^) following
- a duration (&) or absolute position (@) specification, did not
- process the & or @ specification correctly. These specifications are
- now properly processed.
- (9) WARN FILE, BREAK FILE, TRACE FILE, or WRITE FILE commands specifying
- previously specified file caused 'File allocation error' message.
- This has been fixed.
- (10) Added FILE option to query (?) commands. This allows queried
- information to be directed into files. The default extension for this
- file is ".qry". This option is NOT sticky and only applies to the
- current query command. If the same file name is used in subsequent
- query commands in the same SIMIC session, then the information will be
- appended to the file. For Example:
-
- ?LOADING LIST: FILE:
-
- sends the loading information to a file with the default file's name
- with the extension ".qry,
-
- ?DELAY LIST: FILE=delays
-
- sends the delay information to the file, delays.qry.
-
- Version 1.00.03
- --------------------------------------------------------------------------------
- (1) It has been found that no matter what names the primitive type are
- given, they may conflict with a cell library naming convention.
- The established type precedence forced the netlister (manual or
- automatic) to resolve naming conflicts itself, with the
- "composition" keyword. The task of resolving type name conflicts has
- been moved to the cell library developers. This was accomplished by
- reversing the search order for instantiation of types. The new order
- is:
- (a) Macros,
- (b) Booleans, then
- (c) Primitives.
- This new order should only impact designs with conflicting type names.
- A warning is issued if multiple representations of a type is being
- defined.
-
- Note: If you are using case sensitivity mode (-s command line option),
- Then the primitive will be selected if the case of the
- instantiating type does not perfectly match the Macro (or
- Boolean) definition.
- (2) If a TSTEP operation is in effect (such as a WRITE TSTEP option), and
- a SIMULATE PRANGE command is given, then the TSTEP operation continued
- after the circuit became stable following the last applied pattern,
- and end only when the remaining (suppressed) patterns have been
- completed. This has been fixed to end all TSTEP operations at the
- first stable point.
- (3) There was an extra "End of file." message at the end of an EXECUTE
- FILE operation. This has been suppressed.
- (4) If an annotation file placed loading on a non-existent node, then
- a fatal error was generated. This error has been reduced to a warning.
- (5) The tstep operations, if changed while the circuit was frozen, did
- not work correctly when simulation was continued. The tstep now
- occurs at the expected point.
- (6) Simic did not allow the LIST= option with the NO HISTORY command.
- This has been corrected.
- (7) Selecting delay tables, and annotation of individual tables did not
- work properly under some unusual paths. This has been corrected.
- (8) Initializing Rom and Ram elements with the CLAMP DATA command did
- not work properly. This operation now works as expected.
- (9) Run commands that used elements of an array, either reported the
- signal as not found or crashed. This has been corrected.
-
- Version 1.00.02
- --------------------------------------------------------------------------------
- (1) The GET REPORT=ALL command operation would crash simic if more than
- 2048 pins were connected to a single node. In addition, this
- operation would show all delays and decays as 0, rather than the
- correct TYPICAL values. Both these problems have been fixed.
- (2) The Flip-flop primitives did not have a standard convention for
- distinguishing positive and negative edge variants. This version
- uses the following convention: The letter N prefixes the letter C
- (or L in the case of the D-latch) to indicate a negative (or low)
- active clock. Otherwise the letter P (for positive) replaces the
- letter N. All previous aliases are supported. The following is a
- list of elements (aliases are in parenthesis):
-
- Positive Clock: Negative Clock: Description:
- DPL (DL) DNL D latch
- DPCF (DCF) DNCF D flip-flop
- JKPCF JKNCF (JKCF) JK flip-flop
- TPCF TNCF (TCF) T flip-flop
-
- Version 1.00.01
- --------------------------------------------------------------------------------
- (1) There were a number of problems discovered in the case sensitive mode
- (-s command line option). The worst was the incorrect mapping of the
- lowercase values describing pattern definitions. All known case
- sensitivity problems have been corrected.
- ================================================================================
-
- The following features are present in Version 1.00, but not yet documented in
- the SIMIC User's Guide, Release 1.
-
- (1) Electrical rules checking in circuit compiler.
- (a) undriven nodes [Fatal]
- (b) dangling nodes
- (c) drivers without any fanouts
- (d) non-tristating elements wire-tied.
-
- (2) NQ outputs are optionally available for each of the flip-flop and
- D-latch primitives. NQ values are computed by complementing the Q
- equation. Delays and X-propagation are computed separately for Q and
- NQ.