Old Web
English
Sign In
Acemap
>
authorDetail
>
Michael Burns
Michael Burns
Motorola
Formal equivalence checking
Functional verification
Computer science
Computer architecture
Physical design
2
Papers
23
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
An Efficient Logic Equivalence Checker for Industrial Circuits
2000
MTV | Microprocessor Test and Verification
Jaehong Park
Carl Pixley
Michael Burns
Hyunwoo Cho
Show All
Source
Cite
Save
Citations (5)
Commercial design verification: methodology and tools
1996
ITC | International Test Conference
Carl Pixley
Noel R. Strader
W. C. Bruce
Jaehong Park
Matt Kaufmann
Kurt Shultz
Michael Burns
Jainendra Kumar
Jun Yuan
Janet Nguyen
Show All
Source
Cite
Save
Citations (18)
1