Statements (50)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:category |
formal verification
circuit simulation hardware description language logic synthesis physical design PCB design signal integrity analysis timing analysis power analysis IC layout |
| gptkbp:enables |
automation of electronic design
cost reduction in design process error checking in designs faster chip development |
| https://www.w3.org/2000/01/rdf-schema#label |
EDA Tools
|
| gptkbp:includes |
gptkb:LTspice
gptkb:VHDL gptkb:Verilog gptkb:Mentor_Graphics gptkb:SPICE gptkb:ModelSim gptkb:Xilinx_Vivado gptkb:Cadence_Design_Systems gptkb:Synopsys gptkb:Quartus_Prime gptkb:OrCAD gptkb:Altium_Designer GDSII KiCad Tanner EDA Magic VLSI Proteus Design Suite |
| gptkbp:relatedTo |
gptkb:Moore's_Law
semiconductor industry SoC design hardware verification ASIC design FPGA design EDA Consortium open-source EDA |
| gptkbp:standsFor |
Electronic Design Automation Tools
|
| gptkbp:usedBy |
electrical engineers
chip designers |
| gptkbp:usedFor |
design of electronic systems
simulation of electronic circuits layout of printed circuit boards verification of integrated circuits |
| gptkbp:bfsParent |
gptkb:Design_Rule_Checking
|
| gptkbp:bfsLayer |
7
|