Timing verification by formal signal interaction modeling in a multi-level timing simulator

Bibliographische Detailangaben

1. Verfasser:	Benkoski, Jacques (VerfasserIn)
Körperschaft:	Carnegie Mellon University Center for Computer Aided Design (BerichterstatterIn)
Weitere Verfasser:	Strojwas, Andrzej J. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Pittsburgh, Pa. 1989
Schriftenreihe:	Research report / Carnegie-Mellon University, CMUCAD 89,17
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!