The Design of Asynchronous Circuits and Systems with Emphasis on Correctness and Proven Optimizations

布朗凡 这项研究融合了异步电路编译的两个努力。 这些是工作的Gopalakrishnan语言hopCP及其使用的验证;和工作的Brunvand异步电路编译。 研究内容为：1. 增强异步电路和系统并发硬件描述语言的表达能力和语义清晰度; 2. 将硬件描述语言的形式基础扩展到电路设计; 3. 形式化地表征和改进异步电路编译中使用的优化;以及4. 研究实现的电路关于各种参数的性能。

Brunvand This research merges two efforts in asynchronous circuit compilation. These are the work of Gopalakrishnan on the language hopCP and its use in verification; and the work of Brunvand on asynchronous circuit compilation. The research is: 1. enhancing the expressive power as well as the semantic clarity of concurrent hardware description languages for asynchronous circuits and systems; 2. extending the formal basis for compiling from HDL's to circuit designs; 3. formally characterizing and improving the optimizations used in asynchronous circuit compilation; and 4. studying the performance of implemented circuits with regard to a variety of parameters.