Behavior tables: a basis for system representation and transformational system synthesis.

Kamlesh Rath, M. Esen Tuna, Steven D. Johnson

Browse the full ICCAD paper archive.