Bluespec: A General-Purpose Approach to High-Level Synthesis Based on Parallel Atomic Transactions
Bluespec: A General-Purpose Approach to High-Level Synthesis Based on Parallel Atomic Transactions
复制标题
Bluespec：基于并行原子事务的高级综合通用方法
DOI：
10.1007/978-1-4020-8588-8_8
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
R. Nikhil
中科院分区：
文献类型：
--
作者：
R. Nikhil
Bluespec SystemVerilog(BSV)提供了一种通用的高级综合方法。也就是说，它广泛适用于现代SoC中的各种面向数据和控制的模块。BSV是显式并行的，并且基于原子事务，原子事务是最著名的用于指定复杂并发行为的工具，在SoC中非常流行。BSV的原子事务包含跨模块边界的通信协议，从而实现了对大型系统的强大扩展和强大的IP重用。从最初的粗略功能模型到最终的生产设计，时序模型都是可以平滑细化的。强大的类型系统、极端的参数化和高阶描述允许单个参数化源生成具有不同性能目标(面积、时钟速度、功率)的微体系结构家族中的任何成员；在这里，关键的使能器也是原子事务产生的控制自适应性。BSV的功能允许通过从可执行规范到最终实现的精细化进行设计；通过早期架构反馈进行架构探索；为软件开发提供早期快速可执行模型；以及正式验证的途径。
Bluespec SystemVerilog (BSV) provides an approach to high-level synthesis that is general-purpose. That is, it is widely applicable across the spectrum of data- and control-oriented blocks found in modern SoCs. BSV is explicitly parallel and based on atomic transactions, the best-known tool for specifying complex concurrent behavior, which is so prevalent in SoCs. BSV's atomic transactions encompass communication protocols across module boundaries, enabling robust scaling to large systems and robust IP reuse. The timing model is smoothly refinable from initial coarse functional models to final production designs. A powerful type system, extreme parameterization, and higher-order descriptions permit a single parameterized source to generate any member of a family of microarchitectures with different performance targets (area, clock speed, power); here, too, the key enabler is the control-adaptivity arising out of atomic transactions. BSV's features enable design by refinement from executable specification to final implementation; architectural exploration with early architectural feedback; early fast executable models for software development; and a path to formal verification.