System Specification and Synthesis with the SpecCharts Language.

Sanjiv Narayan, Frank Vahid, Daniel Gajski

Browse the full ICCAD paper archive.