A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® Itanium™ Processor Bus Protocol

In practice, formal specifications are often considered too costly for the benefits they promise. Specifically, interface specifications such as standard bus protocol descriptions are still documented informally, and although many admit formal versions would be useful, they are dissuaded by the time...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Shimizu, Kanna, Dill, David L., Chou, Ching-Tsun
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Applied sciences Compact Property Core Subset Data Phase Electronics Exact sciences and technology Integrated circuits Integrated circuits by function (including memories and processors) Model Check Semiconductor electronics. Microelectronics. Optoelectronics. Solid state devices Trigger Condition
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!