|
Logic design. Design automation. Formal verification. Analysis,
synthesis, self-testing and formal verification of high-performance low EMI
and low-power asynchronous (self-timed) digital circuits and concurrent
systems. Computer-aided design (CAD) tools (methods and algorithms);
high-level specification of circuit functionality and behavior, including
hardware descriptive languages; models and tools for highly concurrent
behavior (Petri Nets, Signal Transition Graph, Finite-State Machine,
Reactive Systems, Deadlock Prevention, Satisfiability algorithms, etc).
Computer security: side-channel attacks resistance. Computer organization.
|
|
Design
of asynchronous systems (analysis,
synthesis, testing, formal verification and architectural design) and computer-aided
design methodology. Computer
security: side-channel attacks resistance.
|
