Design and Verification Methodology for Reconfigurable Designs in Atmel FPSLIC.
Jiri KadlecMartin DanekPublished in: DDECS (2006)
Keyphrases
- design space
- design methodology
- design principles
- soft systems
- conceptual framework
- general purpose
- design process
- conceptual model
- data sets
- model checking
- low cost
- image processing
- computer aided
- efficient implementation
- design patterns
- software engineering
- user interface
- design decisions
- expert systems
- formal methods
- case study
- formal verification
- functional verification