-
1
-
-
2442542368
-
-
Accellera. SystemVerilog
-
Accellera. SystemVerilog. http://www.systemverilog.org/.
-
-
-
-
2
-
-
2442522397
-
-
Aonix Inc. http://www.aonix.com/content/products/stp/uml.html.
-
-
-
-
5
-
-
0003458824
-
-
Addison-Wesley, Reading, MA
-
B. P. Douglass. Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns. Addison-Wesley, Reading, MA, 1999.
-
(1999)
Doing Hard Time: Developing Real-time Systems with UML, Objects, Frameworks, and Patterns
-
-
Douglass, B.P.1
-
6
-
-
49749117244
-
-
Forte Design Systems. Cynthesizer. http://www.forteds.com/.
-
Cynthesizer
-
-
-
8
-
-
0038234707
-
Object-oriented high level synthesis based on SystemC
-
St. Julian's, Malta, September
-
E. Grimpe and F. Oppenheimer. Object-oriented high level synthesis based on SystemC. In ICECS 2001: The 8th IEEE International Conference on Electronics, Circuits and Systems, volume 1, pages 529-534, St. Julian's, Malta, September 2001.
-
(2001)
ICECS 2001: The 8th IEEE International Conference on Electronics, Circuits and Systems
, vol.1
, pp. 529-534
-
-
Grimpe, E.1
Oppenheimer, F.2
-
11
-
-
0034854483
-
A framework for object oriented hardware specification, verification, and synthesis
-
T. Kuhn, T. Oppold, M. Winterholer, W. Rosenstiel, M. Edwards, and Y. Kashai. A framework for object oriented hardware specification, verification, and synthesis. In Proceedings of the Design Automation Conference (DAC'2001), 2001.
-
(2001)
Proceedings of the Design Automation Conference (DAC'2001)
-
-
Kuhn, T.1
Oppold, T.2
Winterholer, M.3
Rosenstiel, W.4
Edwards, M.5
Kashai, Y.6
-
13
-
-
2442508973
-
-
Rational Software Corporation, http://www.rational.com/products/rose/ index.jsp.
-
-
-
-
14
-
-
0010938543
-
-
Rational Software Corporation. Rational Unified Process. http://www.rational.com/products/rup/index.jsp.
-
Rational Unified Process
-
-
-
16
-
-
84878650878
-
-
Synopsys Inc. CoCentric System Studio. http://www.synopsys.com/products/ cocentric_studio/.
-
CoCentric System Studio
-
-
-
17
-
-
2442485817
-
-
SystemC. http://www.systemc.org/.
-
-
-
-
18
-
-
2442631529
-
-
TogetherSoft. http://www.togethersoft.com/us/products/.
-
-
-
-
19
-
-
33646523387
-
-
University of California, Berkeley. Ptolemy II. http://ptolemy.eecs. berkeley.edu/ptolemyII/.
-
Ptolemy II
-
-
-
20
-
-
84893792644
-
SystemC based object oriented system design
-
Lyon, France, September
-
S. Virtanen, D. Truscan, and L. Johan. SystemC based object oriented system design. In Fourth International Forum on Design Languages (FDL'01), Lyon, France, September 2001.
-
(2001)
Fourth International Forum on Design Languages (FDL'01)
-
-
Virtanen, S.1
Truscan, D.2
Johan, L.3
-
21
-
-
2442555083
-
-
www.verisity.com.
-
-
-
-
22
-
-
0031645551
-
Design and specification of embedded systems in Java using successive formal refinement
-
J. S. Young, J. MacDonald, M. Shilman, P. H. Tabbara, and A. R. Newton. Design and specification of embedded systems in Java using successive formal refinement. In Proceedings of the Design Automation Conference (DAC'1998), 1998.
-
(1998)
Proceedings of the Design Automation Conference (DAC'1998)
-
-
Young, J.S.1
MacDonald, J.2
Shilman, M.3
Tabbara, P.H.4
Newton, A.R.5
|