Formal semantics and proof techniques for optimizing VHDL models

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Umamageswaran, Kothanda (VerfasserIn)
Weitere Verfasser:	Pandey, Sheetanshu L. (VerfasserIn), Wilsey, Philip A. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Boston, Mass.u.a. Kluwer Academic Publishers 1999
Schlagworte:	VHDL (Computer hardware description language) > VHDL
Online Zugang:	Inhaltstext Publisher description Table of contents only
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!