Old Web
English
Sign In
Acemap
>
authorDetail
>
F.E. Marschner
F.E. Marschner
Formal equivalence checking
Correctness
Computer architecture
Design rule checking
High-level synthesis
1
Papers
1
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Rule checking at the register level
1996
IEEE Spectrum
D. Caporossi
F.E. Marschner
S Read
Show All
Source
Cite
Save
Citations (1)
1