arXiv Open Access 2013

Technical report: Functional Constraint Extraction From Register Transfer Level for ATPG

Christelle Hobeika Claude Thibeault Jean-François Boland

Lihat Sumber

Abstrak

We proposed in "Functional Constraint Extraction From Register Transfer Level for ATPG" that is currently submitted to TVLSI, an automatic functional constraint extractor that can be applied on the RT level. These functional constraints are used to generate pseudo functional test patterns with ATPG tools. The patterns are then used to improve the verification process. This technical report complements the work proposed as it contains the implementation details of the proposed methodology and shows the detailed intermediate and final results of the application of this methodology on a concrete example.

Topik & Kata Kunci

cs.AR

Penulis (3)

Christelle Hobeika

Claude Thibeault

Jean-François Boland

Format Sitasi

APA MLA BibTeX

Hobeika, C., Thibeault, C., Boland, J. (2013). Technical report: Functional Constraint Extraction From Register Transfer Level for ATPG. https://arxiv.org/abs/1310.0100

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2013
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓