Verification (Science/Technology/Electronics/CAD/Electronic_Design_Automation/ASIC_Design/Verification)
up VerificationThis category contains sites that are relevant to high level verification languages and development environments: such as Specman, Vera, and SystemC. The category is mainly dedicated to sites that contain free information in the form of tutorials, scripts, and developer forums.EntriesModel Technology http://www.model.com/ This company is the provider of a PC-based simulator. Teradyne http://www.teradyne.com/ Teradyne provides application of systems technology to practical problems in the design, production, and servicing of electronics. Summit Design http://www.summit-design.com/ Provider of electronic design automation (EDA) software and services that enhance and accelerate the design and building of advanced electronic systems critical to the delivery of electronic products. SynaptiCAD http://www.syncad.com/ Provider of EDA and verification products. VERA Group of Synopsys http://www.systems.com/ Provides testbench automation solution for functional verification - The VERATM System Verifier. Verification Guild http://verificationguild.com/ A forum where verification professionals can discuss any issues and challenges presented by this most difficult task. VeriSure http://www.veri-sure.com/ Provides verification engineering and consulting services in Europe and Israel. TransEDA http://www.transeda.com/ Provider of ready-to-use verification solutions for the SoC (system-on-a-chip), ASIC (application-specific integrated circuit) and FPGA (field-programmable gate array) markets. Tanner EDA http://www.tanner.com/eda/ Provides integrated circuit design tools for PC platforms. 0-In Design Automation http://www.0-in.com/ This company provides functional verification products that help verify multi-million gate ASICs and SOC designs. Aptix Corporation http://www.aptix.com/ The company develops, manufactures and markets products for designing and verifying complex electronic systems and system-on-chip designs such as digital wireless cellular phones, wireless base stations, network routers, and graphics and multimedia devices. Dynalith Systems http://www.dynalith.com/ The company provides EDA solutions that enable electronic system designers to verify their algorithms in real hardware environments at an early design stage using C/C++/SystemC. E language Tutorial http://www.geocities.com/avidan_e/ An unofficial Specman and E language tutorial including code examples and tips for both beginners and experienced users. IKOS Systems http://www.ikos.com/ Provides a solution for verifying hardware and software in parallel. InnoLogic Symbolic Simulation http://www.innologic-systems.com/ ESP is an event driven Verilog symbolic simulator. ESP increases functional coverage and reduces verification runtime. ESP is ideal for memory and block level verification. Specman and SystemVerilog blog http://www.specman-verification.com/ A weblog for HVL (Specman - e and SystemVerilog) users, an extensive Specman tutorial and a verification methodology guide. specman egroup http://groups.yahoo.com/group/specman/ This is a group for specman users to ask questions, share code, techniques, and experience. Tau Simulation http://www.tausim.com/ Tau Simulation produces high performance simulation software for integrated circuit verification. Verifica http://www.verifica.org/ The company provides verification tools, consulting and training services. Verification Central http://www.verificationcentral.com/ To purchase the book "The Art of Verification with Vera" online. Neigbour categoriesCapture Design for Testability Planning (This section is quite beta and buggy, have patience. Thanks) Thumbnails powered by Thumbshots |