Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. equ-iitg formal equivalence checker
  5. Download

equ-iitg formal equivalence checker 1.2

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 2.4/5 - ‎8 ‎Oy

Hakkı -nda equ-iitg formal equivalence checker

Bu formatları BLIF, verilog ve EDIF devreleri (kombinasyonel ve sıralı) arasında fonksiyonel eşdeğerliği doğrulamak için kullanılabilir @ IIT Guwahati geliştirilen resmi bir eşdeğerlik kontrol aracıdır.

İlgili Programlar

  • ArmedBear / J Ücret -siz

    ArmedBear (ABCL), Java dilinde yazılmış bir Lisp. Derleyicisi JVM bayt kodu üretir, Java'nın 'bir kere yaz, her yerde koş' felsefesine dokunarak. J, Java'da yazılmış sözdizimi vurgulama ve otomatik girintiyi içeren bir metin

  • Integrated PearPC GUI Ücret -siz

    IPG, Windows tabanlı bir GUI içinde PearPC emülatörü yapılandırmanızı ve çalıştırmanızı sağlayan Entegre PearPC GUI'dir.

  • wxWindows Project Manager for VC7 Ücret -siz

    Visual C++ 7 ile wxWindows kullanımını kolaylaştırmak için bir dizi araç.

  • flam3 editor Ücret -siz

    Flam3 Editor geleneksel flam3 yazılım paketi etrafında inşa edilmiştir. Editör, yüklemek, diset ve kozmik özyinelemeli fraktal alevler kaydetmek, elektrikli koyun veya apophysis dosyaları gibi izin, geleneksel flam3 xml param

  • InvisiBright Free Ücretsiz Deneme

    **Bu uygulamayı beğendiyseniz, lütfen Pro sürümünü :) denemeyi düşünün **InvisiBright görünmez bir parlaklık ayarı programıdır. Ekran boyunca kaydırarak veya cihazınızı yatırarak herhangi bir uygulamanın içinden ayarlayın

  • serverM - a powerful host-based IDS Ücret -siz

    serverM son derece esnek imza tabanlı ana bilgisayar tabanlı saldırı algılama sistemidir (HIDS). Perl daemon olarak çalışan, küçük CPU kullanır ve izinsiz girişleri geniş bir yelpazede algılama yeteneğine sahiptir. İmza dili

  • Eclipse SpringIDE Extensions Ücret -siz

    SpringIDE projesinin uzantıları (bkz. springide-eclip ve springframework).Şu anda şunları içerir: Sınıf (move/rename) ve method (rename) refactoring katılımcıları, arama desteği ve 'hızlı düzeltme' katkıları.

  • Generic Entity Manager Ücret -siz

    Lua ciltleri ile C++ dilinde yazılmış genel bir oyun varlık yöneticisi. Erken aşamalarında ATM. Game Entity System - Şu anda Ek Proje Üyeleri Aranıyor.

  • ajaxnet4j Ücret -siz

    ajaxnet4j ünlü Ajax.NET Profesyonel kütüphanebir Java uygulamasıdır. Bunun yardımıyla, sunucu tarafı iş mantıklarına ve istemci tarafındaki kullanıcı deneyimlerine odaklanabilirsiniz ve iki taraf arasındaki bağlantıya fazla z

  • NSketch, .Net sketch-based algorithms Ücret -siz

    NSketch kitaplığı en yaygın çizim tabanlı algoritmaların (histogramlar, sayısal, sık kullanılan öğeler, çiçek filtresi ...) uygulamalarını sağlar. Kütüphane .Net için C# olarak yazılır.