文件名称:e Language Reference Mannal
文件大小:2.85MB
文件格式:PDF
更新时间:2013-01-19 17:03:27
e, mannal, hdl, verification
The e language is an object-oriented programming language. Although e can be used to create any general-purpose software program, it has been designed to facilitate the verification of electronic designs. The verification-specific constructs that distinguish e from other object-oriented languages such as C++ include: • Constructs to define legal values for data items (constraints) • Constructs to describe sequences over time (temporal constructs) • Constructs to support concurrency (multi-threaded execution) • Constructs to support connectivity (bit-level access)