Dipt. di Elettron., Politec. di Torino, Torino;
asynchronous circuits; circuit CAD; speech codecs; CodeSimulink; Handshake Solutions; Haste code; Haste language; RTL code; TIDE tools; The Mathworks; asynchronous design methodologies; commercial audio CODEC; high level design tools; modeling tool; self-timed circuits; Automatic Haste Code Generation; ESL; Simulink Based Design; Time-to-Market;
机译:从Simulink〜®自动生成的代码的自动验证
机译:自动生成并行代码的高级规范
机译:从规范到规范的实施:一种从规范生成规则以管理代理行为的自动方法
机译:从Simulink规范生成速度代码的自动方法
机译:建立用于自动系统的规范和代码生成的框架
机译:通过邮政编码生成健康估计:使用加利福尼亚健康采访调查的半参数小面积估计方法
机译:根据Simulink规范自动生成急件代码的方法
机译:simulink代码生成:使用simulink Coder从simulink模型生成C代码的教程。