همان‌طور که در سایت اطلاع داده شده بود، در تاریخ ۵ و ۶ آذر ماه، گروه ICEEP در اولین سفر از سفرهای دوره ای به کل کشور که وعده آن داده شده بود، در سفری به استان کرمان، از دانشکده برق و کامپیوتر دانشگاه های باهنر کرمان و تحصیلات تکمیلی صنعتی کرمان بازدید کردند. […]
همان‌طور که در سایت اطلاع داده شده بود، در تاریخ ۵ و ۶ آذر ماه، گروه ICEEP در اولین سفر از سفرهای دوره ای به کل کشور که وعده آن داده شده بود، در سفری به استان کرمان، از دانشکده برق و کامپیوتر دانشگاه های باهنر کرمان و تحصیلات تکمیلی صنعتی کرمان بازدید کردند. […]
این سمینار در تاریخ ۹ آبان ۹۲ در اتاق ۸۰۳ ساختمان جدید دانشکده برق و کامپیوتر در پردیس دانشکده فنی دانشگاه تهران برگزار گردید.در این سمینار از ۴۰ استاد در زمینه سیستم های دیجیتال از سراسر کشور دعوت به عمل آمده بود که علیرغم سختی ناشی از فاصله های طولانی برخی مراکز با تهران […]
TLM Synthesis Studio In our proposed system level design flow, a designer can partition a high level system specification into computation and communication parts. In the next step, the designer can model the communication parts by using our powerful TLM library of communication protocols. The computation parts can be modeled in terms of high level […]
SystemC Studio UT SystemC Studio is a SystemC Environment for conversion between VHDL/Verilog and SystemC, SystemC simulation, SystemC assertion-based verification, and testbench generation. General Features: Conversion VSC (VHDL/Verilog to SystemC Conversion) TVS (SystemC to VHDL/Verilog Conversion) SystemC Assertion-based VerificationVHDL, Verilog, and SystemC Editors System Level Verification Look like OVL Assertions SystemC Simulation Waveform Viewer/Editor Different […]
Mixed-Signal Simulator Mixed-Signal Simulator is a mixed-signal, mixed-domain and mixed-language design environment which supports VHDL-AMS 1999, VHDL 2002, Verilog 2001, SystemVerilog 2005 assertions and SystemC 2005. General Features: Mixed HDL Simulation VHDL-AMS, Verilog, and SystemC Mixed Signal Simulation Analog and Digital Signal Simulation through VHDL-AMS Mixed Domain Analog Simulation Electrical, Thermal, and Mechanical SystemVerilog-like Assertions […]
Electronic System LevelDesign in Companies Verification Companies
UT Assertion-based Verification Package UTAVP (University of Tehran TLM Assertion-based Verification Package) is a package to aid system level designers debug and verify their SystemC RTL and TLM designs. This package provides designers with an OVL-equivalent assertion package ported to SystemC, a package of transaction level assertions, and a library of enhanced HDL OVL […]
Test Hardware Evaluation Package This environment gives hardware design and test engineers implementation capabilities like those of expert programmers. We have developed PLI/VPI functions to relieve hardware engineers from getting involved in elaborate software programming and data structure. You don’t need to port your design back and forth through different design and test formats. General […]
ESL Design Methodology A methodology for design of complex digital systems at system level through a training video. After the introduction to SystemC and TLM-2.0, the video explains a number of design sub-levels and guidelines for design at each sub-level. A test data compression system is implemented as a case study using OSCI TLM 2.0 […]
