You have Guest access.
Log In
A. T. Yakovenko, I. N. Krasavtsev, A. P. Sinichkin and É. D. Anaiko
Book Chapter
Test and Design-for-Test: from Circuits to Integrated Systems
Marcelo Lubaszewski
2007, Design of Systems on a Chip: Design and Test, Pages 159-178
Modeling Finite State Machines with SystemVerilog
2006, SystemVerilog for Design, Pages 207-221
Formal Verification of Autonomy Models
Charles Pecheur, Reid Simmons and Peter Engrand
NASA Monographs in Systems and Software Engineering, 2006, Agent Technology from a Formal Perspective, Part IV, Pages 311-339
Computers and the Sociology of Mathematical Proof
Donald MacKenzie
2006, 18 Unconventional Essays on the Nature of Mathematics, Pages 128-146
VALIDATION
Peter Marwedel
2006, Embedded System Design, Pages 199-226
On-Chip Property Verification Using Assertion Processors
José Augusto M. Nacif, Claudionor Nunes Coelho, Harry Foster, Flávio Miana de Paula and Edjard Mota, et al.
IFIP International Federation for Information Processing, 2006, Volume 200, VLSI-SOC: From Systems to Chips, Pages 101-117
Functional Verification Testplan
2004, Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout, Pages 65-93
Regression/Setup and Run
2004, Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout, Pages 211-231
Test and Design-for-Test of Mixed-Signal Integrated Circuits
Marcelo Lubaszewski and Jose Luis Huertas
IFIP International Federation for Information Processing, 2004, Volume 157, Information Technology, Pages 183-212
The Testers’ Workbench
Springer Professional Computing, 2003, Practical Software Testing, Pages 465-502
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info