Verification of synthesized circuits at register transfer level with flow graphs
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Rechnerentwurf und Fehlertoleranz (IRF) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1991 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 237391 |
| Erscheinungsvermerk | In: Proceedings of 2nd European Design Automation Conference (EDAC), Amsterdam 1991. S. 22-26. |