Specc

This text describes the SpecC methodology that leads designers from an executable specification to an RTL implementation through a well-defined sequence of step... » 

This text describes the SpecC methodology that leads designers from an executable specification to an RTL implementation through a well-defined sequence of steps. Each model is described and guidelines are given for generating these models from executable specifications. «