SW-VHDL Co-Verification Environment Using Open Source Tools
نویسندگان
چکیده
منابع مشابه
Open Source SW im industriellen Einsatz
Die Verwendung von Open Source SW hat ein solch ungeheures Ausmaß angenommen, dass deren Einsatz in vielen Bereichen der Industrie heute nicht mehr wegzudenken ist. In der allgemeinen Wahrnehmung wird Open Source SW oftmals noch als Randerscheinung des universitären und nichtkommerziellen Bereiches angesehen. In der Realität hingen hat Open Source SW längst seinen Siegeszug in die kommerziellen...
متن کاملFormal verification of VHDL using VHDL-like ACL2 models
When a design reaches the register transfer level, essential architectural decisions have been taken; their validation required extensive simulation of the abstract behavioral specifications. The recognized need for formal verification cannot be met by current automatic equivalence and model checking tools, which mainly apply to logic synthesis inputs and outputs, or require manual abstraction....
متن کاملAutomatic Detection of Landslides in Object-based Environment Using Open Source Tools
Automatic detection of landslides from very high resolution satellite images is a prerequisite for rapid damage assessment and supporting disaster management activities. In this study, a novel method using open source tools was developed for extracting landslides from bi-temporal satellite images based on Object Based Image Analysis (OBIA). The methodology employed involves image segmentation f...
متن کاملAccelerated Verification of Digital Devices Using VHDL
As digital designs become more complex and increasingly include a processor on the chip, verification – and in particular the generation of testbenches – is becoming a bottleneck. This paper presents two aspects for improving the verification of microprocessors; program-less verification, and methods for handling large differences in abstraction level between a reference model and the actual de...
متن کاملUsing VHDL for Link to Synthesis Tools
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronics
سال: 2020
ISSN: 2079-9292
DOI: 10.3390/electronics9122104