All Projects → ARMmbed → Mbed Hdk

ARMmbed / Mbed Hdk

Licence: other
mbed HDK - This repository is not being maintained. For the latest updates, please use: https://github.com/ARMmbed/mbed-HDK-Eagle-Projects

Labels

Projects that are alternatives of or similar to Mbed Hdk

suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
Stars: ✭ 107 (+0.94%)
Mutual labels:  smt
Stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Stars: ✭ 341 (+221.7%)
Mutual labels:  smt
Nopol
Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.
Stars: ✭ 73 (-31.13%)
Mutual labels:  smt
z3 tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
Stars: ✭ 117 (+10.38%)
Mutual labels:  smt
Smack
SMACK Software Verifier and Verification Toolchain
Stars: ✭ 305 (+187.74%)
Mutual labels:  smt
Adafruit cad parts
CAD files for various boards, components and parts
Stars: ✭ 386 (+264.15%)
Mutual labels:  smt
clpsmt-miniKanren
CLP(SMT) on top of miniKanren
Stars: ✭ 31 (-70.75%)
Mutual labels:  smt
Mbed Hdk Eagle Projects
Collection of Eagle projects for targets, interfaces, shields and more
Stars: ✭ 91 (-14.15%)
Mutual labels:  smt
Sat smt by example
"SAT/SMT by example" free ebook
Stars: ✭ 339 (+219.81%)
Mutual labels:  smt
Dreal4
SMT Solver for Nonlinear Theories of Reals
Stars: ✭ 72 (-32.08%)
Mutual labels:  smt
archsat
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Stars: ✭ 20 (-81.13%)
Mutual labels:  smt
smt
A Go library that implements a Sparse Merkle tree for a key-value map.
Stars: ✭ 83 (-21.7%)
Mutual labels:  smt
Cvc4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Stars: ✭ 476 (+349.06%)
Mutual labels:  smt
vim-smt2
A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
Stars: ✭ 35 (-66.98%)
Mutual labels:  smt
Storm
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
Stars: ✭ 79 (-25.47%)
Mutual labels:  smt
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
Stars: ✭ 48 (-54.72%)
Mutual labels:  smt
Pysmt
pySMT: A library for SMT formulae manipulation and solving
Stars: ✭ 352 (+232.08%)
Mutual labels:  smt
Deepblockchains
Deep Blockchains - reference implementation of Plasma, Stark, SMT and more
Stars: ✭ 93 (-12.26%)
Mutual labels:  smt
Java Smt
JavaSMT - Unified Java API for SMT solvers.
Stars: ✭ 88 (-16.98%)
Mutual labels:  smt
Liquidhaskell
Liquid Types For Haskell
Stars: ✭ 863 (+714.15%)
Mutual labels:  smt

This repository is not actively maintained anymore. For the latest updates, please visit: https://github.com/ARMmbed/mbed-HDK-Eagle-Projects

mbed-HDK

The mbed Hardware Development Kit (mbed-HDK) is a collection of hardware design resources built on top of Eagle PCB that have been gathered to assist in the development of custom hardware benefiting from the mbed ecosystem, such as mbed OS, mbed SDK and associated technologies such as DAPLink. Working with development boards that were based on the mbed HDK is the most efficient way to get started with the mbed platform.

Benefits of mbed-HDK

The mbed-HDK provides:

  • Extensive collection of Eagle CAD parts libraries.
  • Production Design Projects
    • Proven and manufactured mbed platforms for your reference complete with:
      • Eagle Schematic and Board files
      • PDF Schematic and Board copies
      • CAM Job GERBERS for manufacture (including pick/place and drill)
      • BOM (Bill of Materials)
  • Bare Design Projects
    • Modular reference blocks of mbed TARGET and INTERFACE chip allowing rapid prototyping complete with:
      • Eagle Schematic and Board files
      • PDF Schematic copies

Please keep in mind that the resources are provided "as is". Though best efforts have been made to ensure the highest possible quality, no support or guarantees can be offered. The latest versions of Production Designs contained in the mbed HDK have been successfully manufactured by a third-party manufacturer and proven to work.

Getting Started - Setup

The User Guide will walk you through the setup to get the most out of the mbed-HDK.

Getting Started - Your first PCB design

With the mbed-HDK the goal is to allow rapid PCB CAD prototyping for mbed designs, therefore we provide designs to get you started as quickly as possible. There are multiple ways to create your first design.

  • Starting with a Production Design Project

    • Choose this option if you wish to take an existing design that has been manufactured and tested as a starting point, or to make minor changes and then release yourself.
  • Starting with a Bare Design Project

    • Choose this option if you wish to rapid prototype a design using modular blocks that have already been developed, these modular blocks include DAPLink INTERFACES and mbed TARGETS. For a simple guide to see how this works and how much time it will save.
  • Starting with a blank Schematic and Board

    • Choose this option if you wish to utilise only the mbed-HDK tools in your design, this will still allow quick prototyping of mbed designs through using due to the provided mbed-hdk lbr, dru, ulp and CAM

Moving On - Contributing your parts and designs

If you wish to contribute to the mbed HDK you can do so.

The Contributors Guide details on how to contribute back to the mbed-HDK. There are 3 possible ways to contribute back to the mbed-HDK.

  1. Contributing to mbed-HDK Eagle Libraries
  2. Contributing to mbed-HDK Production Design Projects
  3. Contributing to mbed-HDK Bare Design Projects
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].