Tagged as:

verilog

OPEN SOURCE TOOLS

AUTOMATED AND STANDARDIZED SOFTWARE BENCHMARKING WITH BENCHALOT

Published:

Benchalot illustration The growing complexity of the hardware Antmicro helps its customers build and deploy software workloads on requires continuous benchmarking and optimization to track, understand and fix performance bottlenecks. In our work...
OPEN SOURCE TOOLS, OPEN SIMULATION

GENERATING INTERACTIVE COVERAGE DASHBOARDS WITH COVERVIEW

Published:

Coverview illustration Code coverage is a useful metric to keep track of while developing test suites, providing engineering teams with an actionable overview of how broad their testing goes. This is true both for executable code and digital design...
OPEN SOFTWARE LIBRARIES, OPEN SOURCE TOOLS

10 HRS TO 37 MINS - OPTIMIZING LLVM FOR MACHINE-GENERATED C++ CODE

Published:

Verilator and LLVM logos with a speedometer in the middle While helping customers automate and optimize their workflows, especially in complex use cases like ASIC design, Antmicro often finds itself building and enhancing multi-layered code generation infrastructure, HLS tools, transpilers...
OPEN SOURCE TOOLS, OPEN ASICS, OPEN FPGA

INITIAL ASSERTION CONTROL SUPPORT IN VERILATOR

Published:

Initial assertion control support in Verilator Antmicro is continuously working on improving productivity of ASIC design and verification workflows using open source tools as leaders of the CHIPS Alliance Tools Workgroup, as well as for customer and R&D projects. Extending...
OPEN SOURCE TOOLS, OPEN ASICS, OPEN FPGA

INTRODUCING CONSTRAINED RANDOMIZATION IN VERILATOR

Published:

Constrained randomization in Verilator illustration Large and complex SystemVerilog designs, such as CPUs, are difficult to test thoroughly, as there are many interesting signal combinations that influence a design’s behavior, including corner cases that are easy to overlook...
OLDER
CLOSE 

TAGS