Robust QBF Encodings for Sequential Circuits With Applications to Verification, Debug, and Test

IEEE Transactions on Computers - United States
doi 10.1109/tc.2010.74
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Robust Flip-Flop Against Soft Errors for Combinational and Sequential Logic Circuits

2008English

On Static Compaction of Test Sequences for Synchronous Sequential Circuits

English

Efficient Static Compaction Techniques for Sequential Circuits Based on Reverse-Order Restoration and Test Relaxation

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
2006English

Adversarial Regularization for End-To-End Robust Speaker Verification

2019English

Dependency Learning for QBF

Journal of Artificial Intelligence Research
Artificial Intelligence
2019English

QCA Circuits for Robust Coplanar Crossing

Frontiers in Electronic Testing
2008English

Power Estimation Methods for Sequential Logic Circuits

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
HardwareElectronic EngineeringElectricalArchitectureSoftware
1995English

A Sequential Circuits Test Set Generation Method Based on Ant Colony Particle Swarmalgorithm

2012English

Automatic Verification of Timed Circuits

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy