Sciweavers

206 search results - page 42 / 42
» Formal Specification and Analysis of an E-voting System
Sort
View
TCAD
2008
101views more  TCAD 2008»
13 years 5 months ago
Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
Ilya Wagner, Valeria Bertacco, Todd M. Austin