Language for decryption of hardware logic.
["Hardware Logic Simulation by Compilation", C. Hansen, 25th ACM/IEEE Design Automation Conf, 1988].
Try this search on Wikipedia, OneLook, Google
Nearby terms: ternary « terpri « terrabyte « Terse » test » test coverage » test-driven development
Copyright 2010 Denis Howe