First Page | Document Content | |
---|---|---|
![]() Date: 2014-08-26 15:33:58Electronic design automation Science Applied mathematics Digital electronics Formal methods Model-based design Program synthesis High-level synthesis Synthesizer Electronic engineering Formal sciences Cybernetics | Add to Reading List |