Challenges in AC Testability : Testing Gigahertz Logic.

Michael J. Roberts

Published in: ITC (1986)

Keyphrases

test data generation
lessons learned
classical logic
logic programming
real world
logic programs
real time
open issues
genetic algorithm
information systems
website
data structure
test data
automated reasoning
asynchronous circuits
proof theory