-
1
-
-
0345382715
-
SystemC Cosimulation and Emulation of Multiprocessor SoC Designs
-
Apr
-
L. Benini, D. Bertozzi, D. Bruni, N. Drago, F. Fummi, and M. Poncino, "SystemC Cosimulation and Emulation of Multiprocessor SoC Designs," Computer, vol. 36, no. 4, pp. 53-59, Apr. 2003.
-
(2003)
Computer
, vol.36
, Issue.4
, pp. 53-59
-
-
Benini, L.1
Bertozzi, D.2
Bruni, D.3
Drago, N.4
Fummi, F.5
Poncino, M.6
-
2
-
-
84882889998
-
Scalable and Flexible Cosimulation of SoC Designs with Heterogeneous Multi-Processor Target Architectures
-
P. Gerin, S. Yoo, G. Nicolescu, and A.A. Jerraya, "Scalable and Flexible Cosimulation of SoC Designs with Heterogeneous Multi-Processor Target Architectures," Proc. Asia and South Pacific Design Automation Conf., pp. 63-68, 2001.
-
(2001)
Proc. Asia and South Pacific Design Automation Conf
, pp. 63-68
-
-
Gerin, P.1
Yoo, S.2
Nicolescu, G.3
Jerraya, A.A.4
-
3
-
-
33646913845
-
A Prediction Packetizing Scheme for Reducing Channel Traffic in Transaction-Level Hardware/Software Co-Emulation
-
J.-G. Lee, M.-K. Chung, K.-Y. Ahn, S.-H. Lee, and C.-M. Kyung, "A Prediction Packetizing Scheme for Reducing Channel Traffic in Transaction-Level Hardware/Software Co-Emulation," Proc. Design Automation and Test in Europe, vol. 1, pp. 384-389, 2005.
-
(2005)
Proc. Design Automation and Test in Europe
, vol.1
, pp. 384-389
-
-
Lee, J.-G.1
Chung, M.-K.2
Ahn, K.-Y.3
Lee, S.-H.4
Kyung, C.-M.5
-
4
-
-
11244258435
-
TPartition: Testbench Partitioning for Hardware-Accelerated Functional Verification
-
Nov./Dec
-
Y.-I. Kim and C.-M. Kyung, "TPartition: Testbench Partitioning for Hardware-Accelerated Functional Verification," IEEE Design and Test of Computers, vol. 21, no. 6, pp. 484-493, Nov./Dec. 2004.
-
(2004)
IEEE Design and Test of Computers
, vol.21
, Issue.6
, pp. 484-493
-
-
Kim, Y.-I.1
Kyung, C.-M.2
-
6
-
-
84938020780
-
Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
-
Sept
-
K.M. Chandy and J. Misra, "Distributed Simulation: A Case Study in Design and Verification of Distributed Programs," IEEE Trans. Software Eng., vol. 5, no. 5, pp. 440-452, Sept. 1978.
-
(1978)
IEEE Trans. Software Eng
, vol.5
, Issue.5
, pp. 440-452
-
-
Chandy, K.M.1
Misra, J.2
-
7
-
-
84976728787
-
Virtual Time
-
July
-
D.R. Jefferson, "Virtual Time," ACM Trans. Programming Languages and Systems, vol. 7, no 3, pp. 404-425, July 1985.
-
(1985)
ACM Trans. Programming Languages and Systems
, vol.7
, Issue.3
, pp. 404-425
-
-
Jefferson, D.R.1
-
8
-
-
84976676590
-
Parallel Discrete Event Simulation
-
Oct
-
R.M. Fujimoto, "Parallel Discrete Event Simulation," Comm. ACM, vol. 33, no 10, pp. 30-53, Oct. 1990.
-
(1990)
Comm. ACM
, vol.33
, Issue.10
, pp. 30-53
-
-
Fujimoto, R.M.1
-
10
-
-
33745476921
-
System-Level HW/SW Co-Simulation Framework for Multiprocessor and Multithread SoC
-
M.-K. Chung, S. Yang, S.-H. Lee, and C.-M. Kyung, "System-Level HW/SW Co-Simulation Framework for Multiprocessor and Multithread SoC," Proc. VLSI-TSA Design, Automation, and Test, pp. 177-179, 2005.
-
(2005)
Proc. VLSI-TSA Design, Automation, and Test
, pp. 177-179
-
-
Chung, M.-K.1
Yang, S.2
Lee, S.-H.3
Kyung, C.-M.4
-
11
-
-
3042547954
-
A SystemC-Based Modular Design and Verification Framework for C-Model Reuse in a HW/SW-Codesign Design Flow
-
O. Blaurock, "A SystemC-Based Modular Design and Verification Framework for C-Model Reuse in a HW/SW-Codesign Design Flow," Proc. Distributed Computing Systems Workshops, pp. 838-843, 2004.
-
(2004)
Proc. Distributed Computing Systems Workshops
, pp. 838-843
-
-
Blaurock, O.1
-
12
-
-
0036049464
-
Simulation Bridge: A Framework for Multi-Processor Simulation
-
G.D. Nagendra, V.G.P. Kumar, and B.S. Sheshadri, "Simulation Bridge: A Framework for Multi-Processor Simulation," Proc. 10th Symp. Hardware/Software Codesign, pp. 49-54, 2002.
-
(2002)
Proc. 10th Symp. Hardware/Software Codesign
, pp. 49-54
-
-
Nagendra, G.D.1
Kumar, V.G.P.2
Sheshadri, B.S.3
-
13
-
-
0041562424
-
ReUse-Centric Architecture for a Fully Accelerated Testbench Environment
-
R. Henftling, A. Zinn, M. Bauer, M. Zambaldi, and W. Ecker, "ReUse-Centric Architecture for a Fully Accelerated Testbench Environment," Proc. 40th Design Automation Conf., pp. 372-375, 2003.
-
(2003)
Proc. 40th Design Automation Conf
, pp. 372-375
-
-
Henftling, R.1
Zinn, A.2
Bauer, M.3
Zambaldi, M.4
Ecker, W.5
-
14
-
-
84893663066
-
Performance Improvement of Multi-Processor Systems Cosimulation Based on SW Analysis
-
J. Jung, S. Yoo, and K. Choi, "Performance Improvement of Multi-Processor Systems Cosimulation Based on SW Analysis," Proc. Design, Automation, and Test in Europe, pp. 749-753, 2001.
-
(2001)
Proc. Design, Automation, and Test in Europe
, pp. 749-753
-
-
Jung, J.1
Yoo, S.2
Choi, K.3
-
15
-
-
34147120474
-
A Note on Two Problems in Connexion with Graphs
-
E.W. Dijkstra, "A Note on Two Problems in Connexion with Graphs," Numerische Mathematik, pp. 269-297, 1989.
-
(1989)
Numerische Mathematik
, pp. 269-297
-
-
Dijkstra, E.W.1
-
16
-
-
0036470602
-
Rsim: Simulating Shared-Memory Multiprocessors with ILP Processors
-
Feb
-
C.J. Hughes, V.S. Pai, P. Ranganathan, and S.V. Adve, "Rsim: Simulating Shared-Memory Multiprocessors with ILP Processors," Computer, vol. 35, no. 2, pp. 40-49, Feb. 2002.
-
(2002)
Computer
, vol.35
, Issue.2
, pp. 40-49
-
-
Hughes, C.J.1
Pai, V.S.2
Ranganathan, P.3
Adve, S.V.4
-
17
-
-
0029179077
-
The SPLASH-2 Programs: Characterization and Methodological Considerations
-
S.C. Woo, M. Ohara, E. Torrie, J.P. Singh, and A. Gupta, "The SPLASH-2 Programs: Characterization and Methodological Considerations," Proc. 22nd Symp. Computer Architecture, pp. 24-36, 1995.
-
(1995)
Proc. 22nd Symp. Computer Architecture
, pp. 24-36
-
-
Woo, S.C.1
Ohara, M.2
Torrie, E.3
Singh, J.P.4
Gupta, A.5
-
18
-
-
85029936630
-
-
Comparison between VxWorks/x86 5.3.1, QNX 4.25 and pSO-System/x86 2.2.6, Doc No. DSE-RTOS-EVA-011, http://www.dedicated-systems.com, June 2001.
-
"Comparison between VxWorks/x86 5.3.1, QNX 4.25 and pSO-System/x86 2.2.6," Doc No. DSE-RTOS-EVA-011, http://www.dedicated-systems.com, June 2001.
-
-
-
-
19
-
-
85029951567
-
-
Seamless CVE, http://www.mentor.com/seamless, 2005.
-
(2005)
Seamless CVE
-
-
-
20
-
-
85029935079
-
-
ModelSim, http://www.mentor.com/products/fv/digital_verification/ modelsim_se, 2005.
-
(2005)
ModelSim
-
-
-
21
-
-
85029950582
-
-
MaxSim, http://www.arm.com/products/DevTools/MaxSim.html., 2005.
-
(2005)
MaxSim
-
-
-
22
-
-
85029933330
-
-
ARM Developer Suite, http://www.arm.com/products/DevTools/MaxSim.html, 2005.
-
(2005)
-
-
Developer Suite, A.R.M.1
-
23
-
-
85029941941
-
-
iPROVE, http://www.dynalith.com/2003/iprove.php, 2005.
-
iPROVE, http://www.dynalith.com/2003/iprove.php, 2005.
-
-
-
-
24
-
-
85029946865
-
-
Reviera, http://www.aldec.com/products/riviera, 2005.
-
(2005)
Reviera
-
-
-
25
-
-
85029911801
-
-
Palladium and Palladium II, http://www.cadence.com/products/ functional_ver/palladiumII/index.aspx, 2005.
-
(2005)
Palladium and Palladium II
-
-
|