Donald Bren School of Information and Computer Sciences

This report describes the SpecC RTL methodology, using a specific example (one's counter). We first begin with the introduction of one's counter. Then the behavioral view and the structural view of the SpecC implementation model are given to implement the one's counter in different style. The source codes are also included in the Appendix.