Design and Implementation of a Tool for Specifying Specification in SOFL.
Mo LiShaoying LiuPublished in: SOFL (2012)
Keyphrases
- design methodology
- implementation issues
- conceptual model
- design space
- current status
- high level synthesis
- computer aided
- design rationale
- design considerations
- parallel distributed
- architectural model
- modular design
- aspect oriented
- modeling tool
- hardware architecture
- architectural design
- formal verification
- hardware design
- artificial intelligence
- formal methods
- future development
- design tools
- design process
- high level