Dept. of Computer and Information Science, Link�ping University, Sweden and Computer Science and Engineering Department, Technical University of Timisoara, Romania;
Dept. of Computer and Information Science, Link�ping University, Sweden;
Computer Science and Engineering Department, Technical University of Timisoara, Romania;
机译:基于规范,分区和测试用例的仿真,对混合的硬件/软件系统进行功能验证
机译:基于规范,分区和测试用例的仿真,对混合的硬件/软件系统进行功能验证
机译:具有多个硬件过程的嵌入式系统的硬件/软件分区
机译:VHDL系统规范的硬件/软件分区
机译:硬件/软件系统规范的综合框架。
机译:可穿戴设备操作系统中的软件和硬件要求以及取舍:提高设备性能的工具
机译:使用动态编程的并发规范的最佳硬件/软件分区
机译:超高速集成电路(VHIsC)硬件描述语言(VHDL)交互验证炼金术(VIVa)。用于VHDL相关工具的半自动,高保真验证的技术和软件。