Junji KITAMICHI,Sumio MORIOKA,Teruo HIGASHINO and Kenichi TANIGUCHI: "Automatic Correctness Proof of Implementation of Synchronous Sequential Circuits Using Algebraic Approach" Proc.of the 2nd Int.Conf.on Theorem Proves in Circuit Design(TPCD'94). 249-268
Junji KITAMICHI,Sumio MORIOKA,Teruo HIGASHINO and Kenichi TANIGUCHI: "Automatic Correctness Proof of Implementation of Synchronous Sequential Circuits Using Algebraic Approach" Proc.of the 2nd Int.Conf.on Theorem Proves in Circuit Design(TPCD'94). 249-268
复制标题
Junji KITAMICHI、Sumio MORIOKA、Teruo HIGASHINO 和 Kenichi TANIGUCHI：“使用代数方法实现同步时序电路的自动正确性证明”Proc.of the 2nd Int.Conf.on Theorem Proves in Circuit Design(TPCD94)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
