The Formal Design of 1M-gate ASICs

Ásgeir Th. Eiríksson. The Formal Design of 1M-gate ASICs. Formal Methods in System Design, 16(1):7-22, 2000.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.