Dit is de Linux-app genaamd equ-iitg formele gelijkwaardigheidscontrole om online in Linux uit te voeren, waarvan de nieuwste release kan worden gedownload alsVerified_benchmarks_1.2.tar.gz. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app met de naam equ-iitg formele gelijkwaardigheidscontrole online uit om gratis online met OnWorks in Linux te draaien.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
equ-iitg formele gelijkwaardigheidscontrole om online in Linux uit te voeren
Ad
PRODUCTBESCHRIJVING
Dit is een formele tool voor het controleren van gelijkwaardigheid, ontwikkeld door IIT Guwahati, die kan worden gebruikt om de functionele gelijkwaardigheid tussen circuits (combinatie- en sequentiële) van de formaten BLIF, verilog en EDIF te verifiëren.Programmeertaal
C
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/equiitg/. Het is gehost in OnWorks, zodat het op de gemakkelijkste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.