Search Results for "state-thread"

...A key idea is “software-style” iteration: fast, deterministic simulation via the JIT encourages test-driven development and property checking before committing to RTL. XLS also provides tooling for pipelining, state insertion, and formal equivalence checks between different stages, giving developers confidence as designs evolve. The result is a productive path from high-level specification to real hardware, without giving up control over latency, throughput, and area trade-offs.

react-fullpage is the official React wrapper for fullPage.js, providing a component that brings full-screen, section-by-section scrolling layouts into React applications. The wrapper uses a render-prop API, where you pass a render function that receives component state and the fullpageApi, allowing you to build React JSX markup while delegating scroll behavior to fullPage.js under the hood. It is distributed in multiple formats, including a standard ES module and a UMD bundle, so it can be used in projects with or without a modern build step. The library supports server-side rendering scenarios (such as Next.js and Gatsby) by returning a static version when window is not available and then hydrating into the “live” interactive version on the client. ...

...Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this software. The accepted language provides timed logic and mathematical operators, conditional operators, interval operators, bounded quantifiers and parametrization of signals.

CSS Theme Change is a small utility for managing CSS theme toggling (such as light/dark mode) in web projects, designed to be lightweight, easy to integrate, and framework-agnostic. Instead of relying on heavy JavaScript frameworks or complex state management, it offers a simple API that listens to system preferences and UI interactions to swap theme classes or variables in real time. It can react to user toggles as well as automatically adapt to the user’s OS-level dark/light mode settings, helping developers build interfaces that feel modern and responsive without writing boilerplate theme code. ...

...The resulted net can be executed in the ProgramNet for testing purposes or independently in the target platform as a final release. In order to execute a net the ProgramNet uses the kernel. The kernel executes automatically each unit in a separate thread and manages the data exchange between the units.

A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation.

Application simplifies the development and management of VHDL projects. The project is displayed in a well-arranged tree structure depending on the hierarchy of entities. It also helps to maintain projects in a consistent state. Other features include automatic generation of VHDL testbenches and structures based on user-defined templates. The NetBeans platform is used as a basis for the implementation.

A tool to generate state machine graphs based on specially formatted comments in C and C++ code. The generated output is a Graphviz dot input file.

Another jQuery plugin used to easily create your own iGoogle style web portal. Easy to use and packed with cool features including the ability to save state.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

JSpasm is a pure Java package for developing event-driven, state-based software applications and packages. This small-footprint package will handle multiple models and large numbers of entities in parallel, and includes features to support SMP operation.