Digital system verification : a combined formal methods and simulation framework /
Includes bibliographical references
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
[San Rafael, Calif.] : Morgan & Claypool Publishers,
c201
|
| Subjects: |
| _version_ | 1796738653457743872 |
|---|---|
| author | Li, Lun, 1970- Thornton, Mitchell Aaron |
| author_facet | Li, Lun, 1970- Thornton, Mitchell Aaron |
| author_sort | Li, Lun, 1970- |
| collection | OCEAN |
| description | Includes bibliographical references |
| first_indexed | 2024-03-05T11:05:04Z |
| format | |
| id | KOHA-OAI-TEST:451750 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T11:05:04Z |
| publishDate | c201 |
| publisher | [San Rafael, Calif.] : Morgan & Claypool Publishers, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4517502020-12-19T17:16:25ZDigital system verification : a combined formal methods and simulation framework / Li, Lun, 1970- Thornton, Mitchell Aaron [San Rafael, Calif.] : Morgan & Claypool Publishers,c2010engIncludes bibliographical referencesIntroduction -- Formal methods background -- Simulation approaches -- Integrated design validation system -- Conclusion and summaryPSZKLLIntegrated circuitsFormal methods (Computer science)Integrated circuitsOnline version also availableURN:ISBN:9781608451784 (pbk.)URN:ISBN:160845178X (pbk.)URN:ISBN:9781608451791 (ebook)URN:ISBN:1608451798 (ebook) |
| spellingShingle | Integrated circuits Formal methods (Computer science) Integrated circuits Li, Lun, 1970- Thornton, Mitchell Aaron Digital system verification : a combined formal methods and simulation framework / |
| title | Digital system verification : a combined formal methods and simulation framework / |
| title_full | Digital system verification : a combined formal methods and simulation framework / |
| title_fullStr | Digital system verification : a combined formal methods and simulation framework / |
| title_full_unstemmed | Digital system verification : a combined formal methods and simulation framework / |
| title_short | Digital system verification : a combined formal methods and simulation framework / |
| title_sort | digital system verification a combined formal methods and simulation framework |
| topic | Integrated circuits Formal methods (Computer science) Integrated circuits |
| work_keys_str_mv | AT lilun1970 digitalsystemverificationacombinedformalmethodsandsimulationframework AT thorntonmitchellaaron digitalsystemverificationacombinedformalmethodsandsimulationframework |