Books
2 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Formal Semantics for VHDL | Carlos Delgado Kloos | It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years… | OL19850848W |
|
Practical Formal Methods for Hardware Design | Carlos Delgado Kloos | Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research repor… | OL19896037W |