Program Slicing of Hardware Description Languages

机译：硬件描述语言的程序切片

页面导航

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

摘要

Hardware Description Languages (HDL) are used today to describe circuits at all levels.

机译：如今，硬件描述语言（HDL）用于描述各个级别的电路。

著录项

作者
Clarke Edmund M; Fujita M; Rajan S P; Reps T; Shankar S; Teitelbaum T;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A hierarchical test generation approach using program slicing techniques on hardware description languages [J] . Vivekananda M. Vedula, Jacob A. Abraham, Jayanta Bhadra, Journal of Electronic Testing: Theory and Applications: Theory and Applications . 2003,第2期

机译：在硬件描述语言上使用程序切片技术的分层测试生成方法
2. A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity [J] . Lenny Truong, Pat Hanrahan LIPIcs : Leibniz International Proceedings in Informatics . 2019,第4期

机译：硬件描述语言的黄金时代：应用编程语言技术来提高设计生产率
3. Field-programmable gate array (FPGA)-based designed using VHDL hardware description language transmission performance analysis of binary phase shift keying (BPSK) and quadrature phase shift Keying (QPSK) modulators [J] . Mehmet SOuml, NMEZ, Ayhan AKBAL Scientific Research and Essays . 2013,第34期

机译：使用VHDL硬件描述语言设计的基于现场可编程门阵列（FPGA）的二进制相移键控（BPSK）和正交相移键控（QPSK）调制器的传输性能分析
4. Program slicing of hardware description languages [C] . E.M.Clarke, M.Fujita, S.P.Rajan, IFIP WG10.5 advanced research working conference on correct hardware design and verification methods . 1999

机译：硬件描述的程序切片语言
5. Hardware description language program slicing and way to reduce bounded model checking search overhead. [D] . Ou, Jen-Chieh. 2007

机译：硬件描述语言程序切片和减少边界模型检查搜索开销的方法。
6. Specification of photonic circuits using quantum hardware description language [O] . Nikolas Tezak, Armand Niederberger, Dmitri S. Pavlichin, -1

机译：使用量子硬件描述语言规范光子电路
7. Program Slicing of Hardware Description Languages [O] . Clarke Reps, E. M. Clarke, T. Reps, 1999

机译：程序切片硬件描述语言
8. Program Slicing of Hardware Description Languages [R] . Clarke, E. M. , Fujita, M. , Rajan, S. P. , 1999

机译：程序切片硬件描述语言

Program Slicing of Hardware Description Languages

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅