MICROELECTRONIC SYSTEMS NEWS



FILENUMBER: 707
BEGIN_KEYWORDS
sis Interactive System Sequential Circuit Synthesis
END_KEYWORDS
DATE: july 1994
TITLE: SIS: An Interactive System for Sequential Circuit Synthesis

SIS: An Interactive System for Sequential Circuit Synthesis

(Contributed by Ellen Sentovich of UC Berkeley)

SIS is an interactive program for  the  synthesis  of  sequential
circuits.  A new version is now available via anonymous ftp.

The input to SIS can  be given in state table format or as  logi-
cal  equations;  a  target  technology library is given in genlib
format.  The output is a netlist of gates in the target technolo-
gy.

The system includes various capabilities that are controlled  in-
teractively by the user.  These include state minimization, state
assignment, optimization for area and delay using  retiming,  op-
timization  using  standard  algebraic  and Boolean combinational
techniques from MISII, and technology mapping  for  optimal  area
and  delay.  Redundancy removal and 100% testability are provided
for combinational and scan-path circuits.  Formal verification is
available  for  both  combinational and sequential circuits, even
for circuits with different state encodings.

SIS can be obtained via  anonymous ftp from  ic.eecs.berkeley.edu
(128.32.168.7).    The source code is  in  pub/sis/sis-1.2.tar.Z.
A 45-page report (pub/sis/SIS_paper.ps) gives an overview of SIS.
Comments/bugs should be directed to sis@ic.berkeley.edu.

Return to MSN Home Page