摘要 |
A system, method, and computer program for design validation, comprising defining a plurality of requirements; extracting said plurality of requirements; comparing a design against said plurality of requirements; and reporting a result of said comparison, and appropriate means and computer-readable instructions.
|