1. C. E. Stroud, R. R. Munoz, and D. A. Pierce. Behavioral Model Synthesis with Cones. IEEE Design and Test of Computers, 5:22–30, June 1988.
2. E. Clarke and D. Kroening. Hardware Verification Using ANSI-C Programs as a Reference. In Asia and South Pacific Design Automation Conference (ASP-DAC’03), Kitakyushu, Japan, pp. 308–311, January 2003.
3. M. Munch, B. Wurth, R. Mehra, J. Sproch, and N. Wehn. Automating RT-Level Operand Isolation to Minimize Power Consumption in Datapaths. In Design Automation and Test in Europe (DATE’00), Paris, France, 2000.
4. A. Raghunathan and N. K. Jha. Behavioral Synthesis for Low Power. In Proceedings of the 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors (ICCAD’94), San Jose, CA, USA, pp. 318–322, 1994.
5. D. Ku and G. De Micheli. Hardware C – A Language for Hardware Design (Version 2.0). Technical Report: CSL-TR-90-419, Stanford University, Stanford, CA. August 1990.