UML User Interface to a Proof-based Hardware Design Flow.
D. MoisucS. RevolColin F. SnookPublished in: FDL (2006)
Keyphrases
- hardware design
- user interface
- hardware implementation
- fpga hardware
- human computer interaction
- software engineering
- database design
- software systems
- hardware software
- modeling language
- conceptual modeling
- unified modeling language
- software development
- artificial intelligence
- end users
- field programmable gate array
- object oriented
- user interaction
- conceptual models
- formal methods
- sequence diagrams
- theorem prover
- uml class diagrams
- class diagram
- parallel algorithm
- class diagrams