首页> 外文OA文献 >Efficient Generation of Monitor Circuits for GSTE Assertion Graphs

【2h】

Efficient Generation of Monitor Circuits for GSTE Assertion Graphs

机译：高效生成GsTE断言图的监控电路

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Alan J. Hu; Jeremy Casas; Jin Yang;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Transformation-Based Approach to Implication of GSTE Assertion Graphs [J] . Guowu Yang, William N. N. Hung, Xiaoyu Song, Journal of applied mathematics . 2013,第Pta4期

机译：基于转换的GSTE断言图含义的方法
2. A Transformation-Based Approach to Implication of GSTE Assertion Graphs [J] . GuowuYang, William N. N.Hung, XiaoyuSong, Journal of applied mathematics . 2013,第7期

机译：基于转换的GSTE断言图含义的方法
3. An assertion graph based abstraction algorithm in GSTE and Its application [J] . Zheng Desheng, Li Xiaoyu, Yang Guowu, Integration . 2018,第SEPa期

机译：GSTE中基于断言图的抽象算法及其应用
4. Efficient generation of monitor circuits for GSTE assertion graphs [C] . Hu, A.J., Cases, . 2003

机译：有效生成GSTE断言图的监视电路
5. Assertion -checker synthesis for hardware verification, in -circuit debugging and on-line monitoring. [D] . Boule, Marc. 2008

机译：断言-检查器综合，用于硬件验证，在线调试和在线监控。
6. Efficient learning of non-autoregressive graph variational autoencoders for molecular graph generation [O] . Youngchun Kwon, Jiho Yoo, Youn-Suk Choi, 2019

机译：分子图生成的非自回归图变分自编码器的高效学习
7. Maximal Models of Assertion Graph in GSTE [O] . Guowu Yang 2008

机译：GsTE中断言图的最大模型
8. The Perils of Indirect Proof or Another Efficient Search Algorithm to Find the Elementary Circuits of Directed Graphs [R] . P. E. Lauer 1973

机译：间接证明的危险或另一种有效搜索算法寻找有向图的基本电路

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号