Trace theory for automatic hierarchical verification of speed-independent circuits
Saved in:
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cambridge, Mass. :
MIT Press,
c1989.
|
Series: | ACM distinguished dissertations.
|
Subjects: | |
ISBN: | 9780262256025 |
Physical Description: | 1 online zdroj (163 p.) : ill. |
Online Access:
Online Resources