A Uniform Framework for Specification,Synthesis,and Verification Based Language e
Zongguang Yu · Research & Progress of SSE Solid State Electronics · 2007
First,a uniform framework for specification and verification of hardware will be presented.For this purpose the object oriented language e is introduced along with a run-time environment Specman EliteTM.Then,a hardware specification,synthesis and verification based language e will be presented.The benefit of using language e will be presented with an example.