Specification, Implementation and Testing of HFSMs in Dynamically Reconfigurable FPGAs.
Arnaldo S. R. OliveiraAndreia MeloValery SklyarovPublished in: FPL (1999)
Keyphrases
- specification language
- embedded software
- implementation details
- formal verification
- information retrieval
- highly modular
- model based testing
- hardware implementation
- efficient implementation
- hardware and software
- relational databases
- parallel implementation
- design methodology
- website
- e learning
- computer vision
- artificial intelligence
- genetic algorithm
- data mining