airace
Member level 4
![Member level 4](/styles/images/ranks/dlevel4.gif)
- Joined
- Sep 17, 2002
- Messages
- 69
- Helped
- 3
- Reputation
- 6
- Reaction score
- 3
- Trophy points
- 1,288
- Location
- Deep in a chip
- Activity points
- 508
formal verificaton:req
Someone,
pls post some links,docs,e-book on formal Verification methodologies tools etc.
rgds,
Someone,
pls post some links,docs,e-book on formal Verification methodologies tools etc.
rgds,