Atomic Rules understands the limitations of composing complex processor interactions using conventional RTL methods. To address this challenge, we use tools and techniques inspired by functional programming. Beyond RTLs, we specialize in creating source codes written in Bluespec SystemVerilog, a vehicle for code correctness, portability and reuse. Atomic Rules provides its clients with expert SoC/FPGA competencies that build upon RTL/ESL design and verification techniques; not reinvent them.
There are no discussions here currently, but as they appear they might have answers you need.