Amanote Research
Register
Sign In
The Use of Model Checking in ATPG for Sequential Circuits
doi 10.1007/bfb0023722
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
P. Camurati
M. Gilli
P. Prinetto
M. Sonza Reorda
Publisher
Springer-Verlag
Related search
Model Checking Logics for Communicating Sequential Agents
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ATPG for Delay Defects in Current Mode Threshold Logic Circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes
Theoretical Computer Science
Computer Science
Theoretical Computer Science
On the Use of Probabilistic Model-Checking for the Verification of Prognostics Applications
Application of Genetically Engineered Finite-State-Machine Sequences to Sequential Circuit ATPG
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Power Estimation Methods for Sequential Logic Circuits
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hardware
Electronic Engineering
Electrical
Architecture
Software
Design Error Diagnosis in Sequential Circuits
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Monte-Carlo Approach for Power Estimation in Sequential Circuits
Provably Secure Obfuscation of Diverse Watermarks for Sequential Circuits
