Shift, the browser that merges all of your web apps into one powerful window.
Your power browser.
Streamline everything you do online when you install Shift and access thousands of apps without leaving your browser. Connect all of your Gmail, Outlook, and Office 365 accounts and manage everything from one centralized window. Build out your Shift browser with apps that integrate seamlessly so you have ultra-fast access to all the tools you use to stream, shop, work, browse, and stay connected. Shift brings it all together.
Try for Free
Payroll Services for Small Businesses | QuickBooks
Save 50% off for 3 months with QuickBooks Payroll when you Buy Now
Easily pay your team and access powerful tools, employee benefits, and supportive experts with the #1 online payroll service provider. Manage payroll and access HR and employee services in one place. Pay your team automatically once your payroll setup is complete. We'll calculate, file, and pay your payroll taxes automatically.
The comprehensive C++ library MGEN for IC layout and connectivity comes with the X11/Motif full custom layout editor PARIS and the powerful waveform viewer/processor MANIAC. Industry proven, it is the basis for layout generators, placers, routers etc.
XSpiceHDL, an XSpice-VerilogHDL co-simulator incorporates a Schematic Capture GUI, modified run-time DLL capable XSpice3f5 based engine with Berkley Sockets IPC via CodeModel & PLI 1.0/2.0(VPI) DLLs, all in C++, wxWidgets & MSVC++ 6.0.
ESys.NET is a new system-level modeling and simulation environment. It takes advantages of .NET capabilities such as introspection, multi lingual model definition,... It allows more easily the creation of external tools (ex: verification, debugger, ...)
ANVIL - (A)(N)other (V)erilog (I)nteraction (L)evel.
C++ and VPI/C code to easily instrument RTL/Verilog (dut) and C++ testbench (tb)
for more powerful and efficient verification (i.e., C++/tb drives simulator).
The TekBots Universal Programmer is a graphical application to program a variety of embedded hardware devices. Included protocols are Atmel AVR SPI, JTAG, and Cypress ISSP.
SpiceX is a simple schematic capture program for graphical interaction with Spice-based electronic simulation cores, i.e., placing components, wires and test points. SpiceX creates NETLISTs and runs simulations directly from the GUI.
Speaker Workshop is an application for testing speaker drivers using a Windows sound card, then designing and simulating loudspeakers and enclosures and creating and optimizing crossovers.
Testeum is a Software Testing & User Test platform
Tired of bugs and poor UX going unnoticed despite thorough internal testing? Testeum is the SaaS crowdtesting platform that connects mobile and web app creators with carefully selected testers based on your criteria.
Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.
Fast instruction-set simulators for MIPS32. Includes an interpreter, static-compiled simulator builder, and a dynamic-compiled simulator that optionally uses multiprocessing. Runs statically-linked binary from cross-gcc. Supports GDB remote debugging.
SECU86 is Standard Engine Control Unit x86. The project goal is to develop a standard computer and OS (opensource) that would work on any car. It'll be based on the x86 processor and will try to replace the poor standard ECU that comes with any car.
Hierarchical VCD Viewer is new trace file viewer. It's based on Qt 3.3.4 (migrating to Qt 4.1) graphic library and its main feature is to provide a hierarchical view of VCD trace file.
A collection of useful software packages to perform engineering tasks, especially electrical engineering and chip design. All packages come as shrink-wrapped installers for Apple's Mac OS X.
A GTK+/Gnome2 graphical front end for the IW3HEV Vector Network Analyzer, also has a signal generator, and It displays graphicaly SWR, Phase, Return Loss, X impedance, Serial resistance, |Z| Impedanze, and Inductance, and capacitance.
Microdev is a complete development tool dedicated to microcontroller based boards. It is composed of a graphical and real time simulator and a full featured editor supporting Picbasic, JAL and Asm.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.