首页> 外文OA文献 >Synchronous equivalence for embedded systems: a tool for design exploration1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)

【2h】

Synchronous equivalence for embedded systems: a tool for design exploration1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)

机译：嵌入式系统的同步等效性：一种用于设计探索的工具1999年IEEE / ACM国际计算机辅助设计大会。技术论文摘要（目录号99CH37051）

页面导航

著录项
相似文献
相关主题

著录项

作者
Hsieh H.; Sangiovanni-Vincentelli A.; Balarin F.; Lavagno Luciano;
展开▼
作者单位

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

相似文献

外文文献
中文文献

1. Report on the 38th ACM/IEEE International Conference on Computer-Aided Design (ICCAD 2019) [J] . Pan David Z. Design & Test of Computers, IEEE . 2020,第2期

机译：关于第38届ACM / IEEE计算机辅助设计国际会议的报告（ICCAD 2019）
2. Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017) [J] . Derler Patricia, Schneider Klaus, Talpin Jean-Pierre ACM Transactions on Embedded Computing Systems . 2019,第1期

机译：客人编辑：ACM TECS的专题ACM-IEEE关于系统设计的正式方法和模型国际会议（MemoCode 2017）
3. Guest Editorial Selected Papers From the IEEE Asia Pacific Conference of Circuits and Systems 2018 and the IEEE International Conference on Electronics, Circuits and Systems 2018 [J] . Blokhina Elena Circuits and Systems I: Regular Papers, IEEE Transactions on . 2020,第2期

机译：2018年IEEE亚太电路和系统会议的顾客编辑摘要和2018年电路，电路和系统的IEEE国际会议
4. 1992 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.92CH03183-1) [C] . . 1992

机译：1992年IEEE / ACM国际计算机辅助设计会议。技术论文摘要（目录号92CH03183-1）
5. TIGRIS: A tool-structured interface and graphic interaction system for computer-aided design. [D] . Wake, Warren Kent. 1992

机译：TIGRIS：用于计算机辅助设计的工具结构化界面和图形交互系统。
6. Synchronous Equivalence for Embedded Systems: A Tool for Design Exploration [O] . Harry Hsieh, Alberto Sangiovanni-Vincentelli, Felice Balarin, 1999

机译：嵌入式系统的同步等价：设计探索的工具
7. IEEE (Institute of Electrical and Electronics Engineers) International Pulsed Power Conference on (2nd). Held in Lubbock, Texas on June 12-14, 1979 (Digest of Technical Papers). [R] . Guenther, A. H., Kristiansen, M. 1980

机译：IEEE（电气和电子工程师协会）国际脉冲电源会议（第二届）。 1979年6月12日至14日在德克萨斯州的拉伯克举行（技术论文摘要）。

Synchronous equivalence for embedded systems: a tool for design exploration1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)

著录项

相似文献

相关主题

期刊订阅