Transforming behavioral specifications to facilitate synthesis of testable designs
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 184-193
- https://doi.org/10.1109/test.1994.527949
Abstract
Recently, several high level synthesis approaches have been proposed to synthesize testable data paths from behavioral specifications. This paper introduces a novel technique to transform behavioral specifications, such that an existing behavioral test synthesis system can generate area-efficient, testable designs with significantly lower partial scan overhead. Experimental results demonstrate the significant savings in partial scan overhead when the transformation is applied before using the behavioral test synthesis system to synthesize 100% test-efficient designs.Keywords
This publication has 23 references indexed in Scilit:
- Incorporating testability considerations in high-level synthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- An improved method for RTL synthesis with testability tradeoffsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On determining scan flip-flops in partial-scan designsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Behavioral synthesis of highly testable data paths under the non-scan and partial scan environmentsPublished by Association for Computing Machinery (ACM) ,1993
- Behavioral synthesis for easy testability in data path schedulingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- Optimal replication for min-cut partitioningPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- Bounds on evacuation time for deflection routingDistributed Computing, 1991
- A partial scan method for sequential circuits with feedbackIEEE Transactions on Computers, 1990
- The high-level synthesis of digital systemsProceedings of the IEEE, 1990
- On Distributed Communications NetworksIEEE Transactions on Communications, 1964