Virginia Polytechnic Institute and State University.;
机译:用SystemC编写的系统级设计的组合反应语义以及带谓词抽象的形式验证
机译:使用功能抽象验证制造系统设计模型的接口的正确性
机译:顺序一致的内存的表征和通过抽象对缓存的验证
机译:在分布式生产控制系统的多级抽象设计中的设计验证和验证
机译:单词级抽象,用于使用代数几何进行顺序设计验证。
机译:基于干传感器的人脑脑电信号采集系统多通道数字有源电路的设计与验证
机译:基于改进和抽象的分布式自适应实时系统的模块化设计与验证
机译:aLpHaRD中的抽象和验证:树处理程序的设计和验证。