Test Pattern Generation using Boolean Proof Engines

Test Pattern Generation using Boolean Proof Engines

Bibliographic Details
Main Authors: Drechsler, Rolf. (Author), Eggersglüß, Stephan. (Author), Fey, Görschwin. (Author), Tille, Daniel. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Subjects:
Electronic circuits.
Electronics.
Microelectronics.
Circuits and Systems.
Electronics and Microelectronics, Instrumentation.
Online Access:https://doi.org/10.1007/978-90-481-2360-5
Description
Physical Description:XII, 192 p. online resource.
ISBN:9789048123605

Similar Items