Circuit faults; Robustness; Sequential circuits; Transient analysis; Integrated circuit modeling; Hardware; Clocks;
机译:确定特定应用知识以提高时序电路的鲁棒性
机译:确定提高顺序电路稳健性的特定应用知识
机译:使用混合同步-异步技术从同步触发器(例如J-K型)设计时序电路的正式方法
机译:使用特定于应用的知识和形式方法增强顺序电路的鲁棒性
机译:用于验证同步时序电路的正式技术。
机译:一种用于提高电感接近传感器测量精度的非线性温度补偿模型及其专用集成电路实现
机译:在ISCAS'89基准时序电路上增强和评估SCIRTSS(时序电路测试搜索系统)
机译:使用mOsIs(金属氧化物半导体实现服务)制造集成和增强asIC(专用集成电路)设计工具。