当正确是不够的:容错硬件形式验证


曾几何时,硬件电路功能验证是保证将执行指定的函数在所有法律输入刺激。今天,获得信心,硬件设计是正确的往往是不够的。几个行业,包括汽车、医疗、航空、依靠安全至上的硬件保证人们的安全。其他系统,例如,在……»阅读更多

Baidu