SIS : A System for Sequential Circuit Synthesis
Citations
945 citations
927 citations
770 citations
Cites background from "SIS : A System for Sequential Circu..."
...For instance, since VIS [6] is highly specialized for hardware, its heuristics were developed to work directly on the blif format [56], which is a netlist14....
[...]
743 citations
Cites methods from "SIS : A System for Sequential Circu..."
...For both examples, we applied logic optimization using SIS [14] on the circuits before submitting them for equivalence checking....
[...]
...For both examples, we applied logic optimization using SIS [14] on the circuits before submitting them for equivalence checking....
[...]
...[14] SENTOVICH,E. M., SINGH,K.J., LAVAGNO, L., M., C., MUR-GAI,R., SALDANHA,A., SAVOJ,H., STEPHAN,P. R., BRAYTON, R. K., AND SANGIOVANNI-VINCENTELLI,A. SIS: A System for Sequential Circuit Synthesis....
[...]
666 citations
Cites background or methods from "SIS : A System for Sequential Circu..."
...In SIS, there is a command tech_decomp [35] generating a two-input AND/OR decomposition of the network....
[...]
...As a result of our experiments with MVSIS, we developed a methodology for tackling problems, which are traditionally solved with SOPs [35] and BDDs [37], using a combination of random/guided simulation of AIGs and Boolean satisfiability (SAT) [25]....
[...]
...Both SIS [35] and its predecessor MIS [8], pioneered multi-level combinational logic synthesis and became trend-setting prototypes for a large number of synthesis tools developed by industry....
[...]
References
9,021 citations
1,347 citations
1,139 citations
538 citations
504 citations