[EBOOK]Constraint-Based Verification

jacobshen · 发表于 2007-8-29 23:19:37

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

前两天发过一本,再来一本

content

  Introduction
  Constrained Random Simulation
  High Level Verification Languages
  Assertion Languages and Constraints
  Preliminaries
  Constrained Vector Generation
  Constraint Simplification
  More Optimizations
  Constraint Synthesis
  Constraint Diagnosis
  Word-Level Constraint Solving

opqrst · 发表于 2007-8-30 04:32:04

Carl Pixley 的书，大牛。

opqrst · 发表于 2007-8-30 04:33:30

请问您上次发的那本书“Embedded Processor”，下半部分有没有？

谢了。

freelion · 发表于 2007-8-30 12:45:06

好东西，顶一个

好东西，顶一个

kaoruzhu · 发表于 2007-9-11 20:43:08

狂赞！！！！

kaoruzhu · 发表于 2007-9-11 20:44:13

thanks!!!!!

kaoruzhu · 发表于 2007-9-11 20:46:41

thanks!!

cxk321 · 发表于 2008-2-13 20:55:02

another kind of verification is coverage-base. let's take a look at this one

cxk321 · 发表于 2008-2-13 20:56:04

this is a great book. thanks for sharing

opqfeixue · 发表于 2008-3-2 21:39:47

谢谢了!!!

[EBOOK]Constraint-Based Verification

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

站长推荐 /2