13 रिपॉजिटरी
Defining data primitives and interaction models that describe the physical capabilities of hardware types.
Distinct from Function Modeling: Candidates focus on AI function distributions, not IoT hardware capabilities.
Explore 13 awesome GitHub repositories matching hardware & iot · Hardware Capability Modeling. Refine with filters or upvote what's useful.
AISystem is a comprehensive AI full-stack infrastructure project covering the entire pipeline from AI chip architecture to high-level training frameworks. It encompasses the development of AI compiler frameworks, inference engines, and distributed training orchestrators designed to coordinate workloads across a heterogeneous compute stack of CPUs, GPUs, and NPUs. The project focuses on the deep integration of software and hardware, employing software-hardware co-design to align tensor layouts with physical memory structures. It provides specialized capabilities for accelerating Transformer mo
Relates physical hardware structures like SIMD to software programming models such as CUDA.
This project is an open-source software development kit and framework for implementing the Matter smart home standard. It provides a universal IPv6-based application layer and a cluster-based data model to ensure interoperability between diverse smart home devices and controllers. The system is distinguished by its multi-transport network abstraction, which maps Bluetooth LE, Thread, and Wi-Fi implementations to a common layer. It includes specialized tooling for secure device commissioning via QR codes and NFC, as well as a comprehensive over-the-air firmware update system for distributing s
Defines data primitives and interaction models to describe the capabilities of hardware types.
Qiskit is a quantum computing software development kit used for designing, simulating, and executing quantum circuits on physical hardware and simulators. It functions as a quantum algorithm framework, a circuit simulator, and a vendor-agnostic hardware interface for dispatching workloads across diverse providers. The project features a quantum circuit transpiler that optimizes abstract designs to match the specific basis gates and qubit connectivity of target hardware. It employs a pass-based transpilation pipeline and symbolic instruction translation to convert high-level circuits into hard
Models instruction sets, qubit properties, and connectivity graphs to inform the circuit compilation process.
Digital is a digital logic circuit simulator and hardware design verification tool. It provides a visual environment for designing, testing, and verifying electronic circuits using event-based simulation and automated logic synthesis. The platform functions as a logic synthesis tool that applies boolean algebra to minimize gate configurations and convert truth tables into efficient hardware. It also serves as an HDL export tool, translating visual circuit graphs into VHDL or Verilog code, and as a CPLD deployment tool that generates JEDEC files for flashing programmable logic chips. The soft
Translates internal circuit representations into standardized hardware description formats for deployment to programmable logic devices.
CloverBootloader is a UEFI-compliant boot loader designed to initialize hardware and launch multiple operating systems across various platforms. Its primary purpose is to enable the booting of operating systems on unsupported hardware through system identity spoofing and hardware emulation. The project specializes in hardware compatibility patching by modifying ACPI tables, faking hardware IDs, and patching binary kernels or extensions in memory during the boot process. It provides capabilities to inject kernel extensions and spoof system parameters, such as product names and serial numbers,
Saves original firmware tables and system logs to a storage device for debugging and manual patching.
Cirq, Noisy Intermediate-Scale Quantum (NISQ) हार्डवेयर पर क्वांटम सर्किट को डिज़ाइन करने, सिमुलेट करने और निष्पादित करने के लिए उपयोग किया जाने वाला एक Python क्वांटम कंप्यूटिंग फ्रेमवर्क है। यह एक क्वांटम सर्किट सिम्युलेटर और नॉइज़ मॉडलर के साथ-साथ क्वांटम एल्गोरिदम के कार्यान्वयन के लिए एक टूल के रूप में कार्य करता है। यह फ्रेमवर्क NISQ हार्डवेयर के लिए एक विशेष इंटरफ़ेस प्रदान करता है, जो उपयोगकर्ताओं को हार्डवेयर कनेक्टिविटी और गेट बाधाओं को मान्य करते हुए लॉजिकल क्वांटम सर्किट को फिजिकल डिवाइस टोपोलॉजी पर मैप करने की अनुमति देता है। यह एकीकृत नॉइज़ मॉडलिंग के माध्यम से खुद को अलग करता है, जो वास्तविक क्वांटम प्रोसेसर में पाए जाने वाले डिकोहेरेंस और त्रुटियों की नकल करने के लिए डिपोलराइज़िंग और डैम्पिंग चैनलों को लागू करता है। यह प्रोजेक्ट क्वांटम सर्किट डिज़ाइन, हार्डवेयर एकीकरण और स्टेट सिमुलेशन सहित व्यापक क्षमताओं को कवर करता है। इसमें गेट डिकंपोज़िशन, हार्डवेयर टोपोलॉजी मैपिंग, और फूरियर ट्रांसफॉर्म और असंरचित डेटा खोज जैसी मौलिक क्वांटम प्रक्रियाओं का निष्पादन शामिल है। इसके अतिरिक्त, यह आणविक ग्राउंड स्टेट गणना और हार्डवेयर फिडेलिटी बेंचमार्किंग के लिए विश्लेषणात्मक उपयोगिताएँ प्रदान करता है।
Defines the physical connectivity and constraints of a device to ensure circuits are compatible.
Chisel is a hardware construction language and description tool used to define digital circuits. It functions as a generator that converts high-level hardware descriptions into synthesizable Verilog code for use in ASIC and FPGA design. The project enables the creation of parameterizable hardware templates and reusable digital components. It leverages functional and object-oriented programming patterns to transform complex circuit representations into finalized hardware descriptions. The toolset covers the register-transfer level design workflow, allowing users to model digital circuits usin
Defines digital circuits using typed data structures and primitives to produce synthesizable hardware code.
MobileModels is a mobile device hardware database and model identifier registry. It serves as a structured collection that maps consumer marketing names to manufacturer model numbers and internal hardware codenames. The project functions as a hardware variant directory, distinguishing between different regional and carrier versions of the same device across various brands. It includes a bootloader and kernel tracker to monitor the availability of official kernel source code releases and bootloader unlocking status. The registry covers mobile hardware cataloging through the mapping of device
Analyzes model strings to determine release years, regional variants, and hardware SKUs based on manufacturer patterns.
picorv32 is a size-optimized RISC-V CPU core and synthesizable processor IP designed for integration into FPGA and ASIC hardware designs. It serves as an open-source CPU architecture and embedded system-on-chip component that implements a standard RISC-V instruction set. The design features a modular architecture that allows for the integration of external coprocessors to implement custom non-branching instructions. It includes a parameterized integer unit with configurable multiplication and division cores to balance performance against total logic gate count. The project covers a broad ran
Delivers a hardware description designed for conversion into logic netlists via synthesis tools.
Quantum is a quantum development framework that provides a hybrid quantum-classical workflow for coordinating execution between classical host languages and quantum processors. It includes a quantum hardware simulator for modeling state evolution and a library of quantum algorithms for tasks such as integer factorization, database search, and quantum arithmetic. The project offers specialized tools for quantum hardware characterization and error correction to manage noise and decoherence. It provides resource estimation modeling to calculate the qubit count and gate depth required to execute
Provides analytical tools to determine the physical properties of quantum hardware components using classical data.
Rocket-chip is a framework for the parametric design, synthesis, and verification of RISC-V based processors and system-on-chip hardware. It functions as a generator that converts high-level specifications into synthesizable Verilog files for FPGA or ASIC implementation. The project utilizes a Scala-based hardware description framework to produce customizable pipelined processor cores, memory hierarchies, and peripheral devices. It employs a parameter-driven model and a two-phase negotiation process to resolve hardware interface specifications between modules during the elaboration phase. Th
Provides utilities to export internal circuit representations into standardized hardware description formats.
This project is a smart home automation framework and a library of device drivers and handlers designed to integrate hardware into the SmartThings ecosystem. It functions as an IoT device handler repository that translates proprietary hardware signals into standard commands for a central hub. The system emphasizes a local hub rules engine to execute automation logic and device routines directly on hardware, reducing reliance on cloud processing. It provides a collection of custom drivers specifically for managing Zigbee, Z-Wave, and LAN devices. The framework covers the development of custom
Provides a system for defining data primitives and interaction models that describe physical hardware capabilities.
This project is an open-source computer-aided design toolchain designed for the synthesis, placement, and routing of hardware designs onto programmable logic architectures. It serves as a comprehensive framework for research and development, enabling the transformation of hardware description language designs into optimized netlists and physical implementation files. By providing a modular pipeline, the system facilitates the entire flow from initial logic synthesis to the generation of configuration data for programmable hardware devices. The toolchain distinguishes itself through its focus
Defines custom hardware fabric characteristics using a structured description language for simulation and synthesis.