Design Specification and Verification

Hardware/Software Co-Design: Principles and Practice ◽

10.1007/978-1-4757-2649-7_6 ◽

1997 ◽

pp. 193-233 ◽

Author(s):

J. Staunstrup

Keyword(s):

Design Specification ◽

Specification And Verification

Download Full-text

Standard for SystemVerilog. Unified hardware design, specification and verification language

10.3403/30167898u ◽

2015 ◽

Keyword(s):

Hardware Design ◽

Design Specification ◽

Specification And Verification

Download Full-text

SystemVerilog. Unified Hardware Design, Specification, and Verification Language

10.3403/30435564 ◽

2021 ◽

Keyword(s):

Hardware Design ◽

Design Specification ◽

Specification And Verification

Download Full-text

Interactive Systems: Design, Specification, and Verification

10.1007/978-3-642-87115-3 ◽

1995 ◽

Keyword(s):

Systems Design ◽

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

An automated design specification and verification tool for systolic architectures

Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences ◽

10.1109/hicss.1992.183270 ◽

1992 ◽

Author(s):

T. Shih ◽

N. Ling ◽

R. Davis ◽

Fuyau Lin

Keyword(s):

Automated Design ◽

Design Specification ◽

Verification Tool ◽

Specification And Verification

Download Full-text

Fifth Eurographics Workshop on Design Specification and Verification of Interactive Systems, Abingdon, UK, June 3-5 1998

Computer Graphics Forum ◽

10.1111/1467-8659.00240 ◽

1998 ◽

Vol 17 (2) ◽

pp. 190-191

Author(s):

P. Markopoulos ◽

P. Johnson

Keyword(s):

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Interactive Systems Design, Specification, and Verification

10.1007/3-540-44675-3 ◽

2001 ◽

Keyword(s):

Systems Design ◽

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

5th Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV‐IS '98

Computer Graphics Forum ◽

10.1111/1467-8659.00224 ◽

1998 ◽

Vol 17 (1) ◽

pp. 99-100

Keyword(s):

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Design, specification, and verification of interactive systems

ACM SIGSOFT Software Engineering Notes ◽

10.1145/505894.505910 ◽

2001 ◽

Vol 26 (1) ◽

pp. 74-75

Author(s):

Philippe Palanque ◽

Fabio Paternò

Keyword(s):

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Design, Specification and Verification of Interactive Systems ’98

10.1007/978-3-7091-3693-5 ◽

1998 ◽

Keyword(s):

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text

Design, Specification and Verification of Interactive Systems ’97

10.1007/978-3-7091-6878-3 ◽

1997 ◽

Keyword(s):

Interactive Systems ◽

Design Specification ◽

Specification And Verification

Download Full-text