R. Lisanke, "Finite-State Machine Benchmark Set v1.0," http://www.cbl.ncsu.edu/pub/Benchmark dirs/LGSynth89/fsmexamples/, 1989 MCNC International Workshop on Logic Synthesis. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Synthesis for Logical Initializability of Synchronous Finite.. - Singh, Nowick (1998) (Correct)
....procedure. Alternatively, direct multi level hazard free synthesis methods based on BDD s can be used [19] 7 Results Tables 1 and 2 present the results of our synthesis for initializability method of Sections 5 and 6 on several synchronous state machine examples from the MCNC89 benchmark suite [20]. We compare our new method with both the Cheng Agrawal method, and a base method. Comparison of synthesis methods. For Cheng Agrawal, we consider two variants. Since the original Cheng Agrawal method does not provide any special combinational logic minimization step, the first variant we used, ....
R. Lisanke, "Finite-State Machine Benchmark Set v1.0," http://www.cbl.ncsu.edu/pub/Benchmark dirs/LGSynth89/fsmexamples/, 1989 MCNC International Workshop on Logic Synthesis.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC