Login / Signup

A Method for Logic Circuit Test Generation Based on Boolean Partial Derivative and BDD.

Changqian WangChenghua Wang
Published in: CSIE (3) (2009)
Keyphrases
  • database
  • metadata
  • software engineering
  • high speed
  • test generation