共 11 条
- [1] On Efficiently Producing Quality Tests for Custom Circuits in PowerPC™ Microprocessors Journal of Electronic Testing, 2000, 16 : 121 - 130
- [2] Establishing latch correspondence for embedded circuits of PowerPC® microprocessors HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 37 - 44
- [4] Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding TEST AND PROOFS, PROCEEDINGS, 2010, 6143 : 101 - 116
- [5] Combining GAs and symbolic methods for high quality tests of sequential circuits JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2001, 17 (01): : 37 - 51
- [6] Combining GAs and symbolic methods for high quality tests of sequential circuits PROCEEDINGS OF ASP-DAC '99: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 1999, 1999, : 315 - 318
- [7] Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits Journal of Electronic Testing, 2001, 17 : 37 - 51
- [9] FRACTIONATED LEAF-STALK HARVEST - A METHOD OF EFFICIENTLY PRODUCING HIGH-QUALITY CROP PRODUCTS ARCHIV FUR ACKER UND PFLANZENBAU UND BODENKUNDE-ARCHIVES OF AGRONOMY AND SOIL SCIENCE, 1985, 29 (05): : 311 - 317