From b58c60bcc4a6f3d3ccf4194ef862a808fdc3313b Mon Sep 17 00:00:00 2001 From: Rob Austein Date: Sun, 14 Feb 2021 01:55:38 +0000 Subject: Hack images, store outputs in git again for now Easier to track what each script change does if we keep the before and after versions of the markdown in git too. Clean this up eventually, but simplifies development. --- tracwiki/EDAToolchainSurvey.trac | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 tracwiki/EDAToolchainSurvey.trac (limited to 'tracwiki/EDAToolchainSurvey.trac') diff --git a/tracwiki/EDAToolchainSurvey.trac b/tracwiki/EDAToolchainSurvey.trac new file mode 100644 index 0000000..4133456 --- /dev/null +++ b/tracwiki/EDAToolchainSurvey.trac @@ -0,0 +1,13 @@ +The major issue is finding tools that allows a designer, user to verify that the RTL source code (in Verilog or VHDL) matches what is generated at the physical level. As part of the project we need to investigate the current status of open tools in the toolchain for implementation and verification of hardware. This includes RTL simulation, synthesis, place & route, netlist verification, timing analysis and configuration file generation and analysis. (This implies that the target is an FPGA.). If there are no open tools we need to find ways of verifying pre- and post-functionality to check that the black box tool does not alter (subvert) the design in ways not intended. + +The basic action flow is: +* Finding open EDA tools and assess their status +* Settling for Closed +* Strategy to Develop Trust in Tools +* Validation Methods for Output + +Some tools and frameworks worth investigating are: +* [http://www.optimsoc.org/index.html "OpTiMSoC"] - An open System on Chip (SoC) framework built around the OpenRISC CPU. +* [http://iverilog.icarus.com/ "Icarus Verilog"] - An open Verilog event driven simulator that supports Verilog 2001, 2005 and SystemVerilog. +* [http://www.geda-project.org/ "gEDA"] - A project that aims at developing GNU based EDA tools. +* [http://www.gpleda.org/ "gplEDA"] - A collection of GPL licensed EDA tools. Points to gEDA. -- cgit v1.2.3