Showing results 1 to 3 of 3
An Efficient Verifier for Finite-State Machines S.H.Hwang; A.R.Newton, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, v.10, no.3, pp.326 - 334, 1991-03 |
Electrical-Logic Simulation and Its Applications Y.H.Kim; S.H.Hwang; A.R.Newton, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, v.8, no.1, pp.8 - 22, 1989-01 |
State Assignment Scheme for Two - level Logic Implementation Based on a Simulated Algorithm with a FAST Cost Estimation Method S.S.Lee; S.H.Hwang, ELECTRONICS LETTERS, v.29, no.18, pp.1625 - 1626, 1993-09 |
Discover