VLSI-SoC : Internet of Things FoundationsLuc Claesen, Maria-Teresa Sanz-Pascual, Ricardo Reis, Arturo Sarmiento-Reyes · First published 2015Open the Tome
Formal VLSI specification and synthesisIFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 Houthalen, Belgium), Ifip Wg 10.2, Wg 10.5 International Workshop on Applied Formal Methods, Luc J. M. Claesen · First published 1990Open the Tome