VDict mobile



Language for decryption of hardware logic.
["Hardware Logic Simulation by Compilation", C. Hansen, 25th
ACM/IEEE Design Automation Conf, 1988].