Executable system specification and a methodology for system partitioning and refinement into system-level components. Models and architectures, specification languages, translation to an HDL, system partitioning, design quality estimation, specification refinement into synthesizable models [4 credits]
Executable system specification and a methodology for system partitioning and refinement into system-level components. Models and architectures, specification languages, translation to an HDL, system partitioning, design quality estimation, specification refinement into synthesizable models [4 credits]
