Donald Bren School of Information and Computer Sciences

In this report we discuss the specification of an ATM cell filter. A behavioral model of the filter is supplied using two specification languages, VHDL, and SpecC, a new language under development by the CADLAB at the University of California, Irvine. A description of the functionality of the filter model is supplied in addition to language features and problems encountered during the specification process. This model to be used as an example for the evaluation of the SpecGen system, a simulation and synthesis environment also under development at the CADLAB.