Specman
From Wikipedia, the free encyclopedia
Specman is an EDA tool for RTL verification. Verification engineers implement verification environments using e, the first commercial Aspect-oriented programming language. e is currently a proprietary language of Cadence. On March 30, 2006 the IEEE-SA RevCom ratified the draft standard of the p1647 LRM, which means that e is now a IEEE standard. Specman was originally created by Verisity, which has since been bought by Cadence.
[edit] External links
You can find related articles in
- http://www.asic-world.com/specman/
- http://www.specman-verification.com/
- http://www.ieee1647.org/
- Emacs Specman Mode