Modeling with SpecCharts
Sanjiv M. Narayan, Frank Vahid, Daniel D. Gajski · eScholarship (California Digital Library) · 1990
SpecCharts is a language intended for system level description and synthesis. It is based on hierarchical state diagrams, posseses many constructs designed to facilitate ease of system level descriptions, and is simulatable via a translator from SpecCharts to VHDL. To test the feasability of using the language, several examples were modeled using SpecCharts, were converted to VHDL, and simulated to verify correctness. The details of two of those examples are provided in this report.