Automatic test generation for linear digital systems with bi-level search using matrix transform methods
Pages 224 - 228
References
[1]
A.E. Casavant et. al., "A synthesis environment for designing DSP systems," IEEE Design Test Comp., pp. 35-44, Apr. 1989.
[2]
P. B. Denyer and D. Renshaw, VLSI Signal Processing, A bit-Serial Approach. Reading, MA: Addison-Wesley, 1985.
[3]
R. Jain et. al., "Custom design of a VLSI PCM- FDM transmultiplexor from system specification to circuit layout using a computer-aided design system," IEEE J. Solid State Circuits, vol. SC-21, pp. 73-85, Feb. 1986.
[4]
R.I. Hartley and P. F. Corbett, "A digit-serial silicon compiler," Proc. 25th Design Automation Conf., pp. 646-649, 1988.
[5]
A.F. Murray, P. B. Denyer, and D. Renshaw, "Self-testing in bit-serial VLSI parts: high coverage at low cost," Proc. Intl. Test Conf., pp. 260-268, 1983.
[6]
S. G. Smith and P. B. Denyer, Serial-Data Computation. Boston, MA: Kluwer Academic Publishers, 1988.
[7]
N. Kanopoulos and G. T. Mitchell, "Design for testability and self-testing approaches for bit-serial signal processors," IEEE Design and Test Comp., pp. 52-59, May 1984.
[8]
T.M. Niermann and J. H. Patel, "HITEC: A test generation package for sequential circuits," Proc. European Design Automation Conf., pp. 214-218, 1991.
[9]
W.-T. Cheng, "The BACK algorithm for sequential test generation," Proc. Intl. Conf. Computer Design, pp. 66-69, 1988.
[10]
C.-T. Chen, Linear System Theory and Design. New York: Holt, Rinehart and Winston, 1970.
[11]
M. Abramovici, M. A. Breuer, and A. D. Friedman, Digital Systems Testing and Testable Design. New York, NY: Computer Science Press, 1990.
[12]
T.M. Niermann, W.-T. Cheng, and J. H. Patel, "Proofs: A fast memory efficient fault simulator for sequential circuits," Proc. 27th Design Automation Conf., pp. 535-540, 1990.
[13]
G. H. Golub and C. F. Van Loan, Matrix Computations. Baltimore, MD: Johns Hopkins University Press, 1983.
[14]
R.K. Roy, "Automatic Test Generation for Bit-serial VLSI Digital Signal Processors," Ph.D. Dissertation, University of Illinois at Urbana-Champaign, Feb. 1992.
Index Terms
- Automatic test generation for linear digital systems with bi-level search using matrix transform methods
Recommendations
Automatic test generation for linear digital systems with bi-level search using matrix transform methods
ICCAD '92: 1992 IEEE/ACM international conference proceedings on Computer-aided designA global optimization algorithm for solving the bi-level linear fractional programming problem
In this paper, we obtain the solution to bi-level linear fractional programming problem (BLFP) by means of an optimization algorithm based on the duality gap of the lower level problem. In our algorithm, the bi-level linear fractional programming ...
Semi-automatic Search-Based Test Generation
ICST '12: Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and ValidationSearch-based testing techniques can efficiently generate test data to achieve high code coverage. However, when the fitness function does not provide sufficient guidance, the search will only generate optimal results by chance. Yet, where the search ...
Comments
Information & Contributors
Information
Published In
Sponsors
- SIGDA: ACM Special Interest Group on Design Automation
- IEEE-CAS: Circuits & Systems
- IEEE-CS: Computer Society
Publisher
IEEE Computer Society Press
Washington, DC, United States
Publication History
Published: 08 November 1992
Check for updates
Qualifiers
- Article
Acceptance Rates
Overall Acceptance Rate 457 of 1,762 submissions, 26%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 226Total Downloads
- Downloads (Last 12 months)20
- Downloads (Last 6 weeks)8
Reflects downloads up to 20 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in