✦ LIBER ✦

PROPTEST: a property-based test generator for synchronous sequential circuits

✍ Scribed by Ruifeng Guo; Reddy, S.M.; Pomeranz, I.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reverse-order-restoration-based static t

✍ Ruifeng Guo; Reddy, S.M.; Pomeranz, I. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 816 KB

An efficient test relaxation technique f

✍ El-Maleh, A.; Al-Utaibi, K. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 405 KB

A test generation program for sequential

✍ Enrico Macii; Angelo R. Meo 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 349 KB

On the Use of Functional Test Generation

✍ Irith Pomeranz; Sudhakar M. Reddy 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 223 KB

Transparent DFT: a design for testabilit

✍ Pomeranz, I.; Reddy, S.M. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 211 KB

A novel automatic test pattern generator

✍ Roland Dobai; Elena Gramatová 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 356 KB