An embedded DSL for constructing hardware circuits

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for leonardt from gravatar.com leonardt Avatar for rsetaluri from gravatar.com rsetaluri

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT
  • Maintainer: Lenny Truong
  • Requires: Python >=3.6

Project description

Magma

Documentation Status Linux Test codecov Join the chat at https://gitter.im/Magma-HDL/community

CHEAT SHEET

Magma is a hardware design language embedded in python.

The central abstraction in Magma is a circuit. A circuit is a set of functional units that are wired together. Magma circuits are analagous to verilog modules. Thus, all Magma programs are guaranteed to be synthesizable. Although wiring modules together may seem low-level, it encourages hardware designers to build reusable components, similar to how programmers build libraries.

Python is used to to create Magma circuits. This approach to hardware design using scripting languages is referred to as generators in the hardware community. Example hardware generators include arithmetic units, linear feedback shift registers, wallace trees, and sorting networks. Software engineers refer to this technique as metaprogramming. The scripting language is a metaprogram in the sense that it is a program that creates a hardware program.

In contrast to verilog, Python has powerful metaprogramming capabilities, such as decorators and metaclasses. This makes it possible to create higher-level domain-specific languages (DSLs). Examples include languages for finite state machines, memory controllers, image and signal processing, and even processors.

The best way to learn Magma is through examples. The magma_register_file_tutorial provides an example of defining and verifying a register file generator. The magmathon repository contains a set of Jupyter Notebooks that introduce the system. There's also magma_examples and magma_tutorial which contain a set of basic circuits and tests, providing an example templates for a magma projects. Finally there is magma_riscv_mini which provides an example of a simple RISCV processor. Please also refer to the documentation.

The design of Magma was heavily influenced by Chisel, so Magma should be easy to learn if you know Chisel. Some examples from the Chisel tutorial have been ported to Magma and can be found in here. Magma also has a FIRRTL backend, and we hope to demonstrate interoperability with Chisel via FIRRTL soon.

Magma is designed to work with Mantle which contains an a collection of useful circuits; and with Loam which is used to represent parts and boards, and to build applications for standalone FPGA boards.

Setting up Python

magma requires using Python 3.7+. This section walks through a few common methods for getting set up with Python. The first (recommended) method is to use miniconda which supports MacOS and Linux (and Windows, but magma's support for windows has not been tested). We also provide methods using the standard package managers for MacOS and Ubuntu Linux.

Universal

miniconda - A free minimal installer for conda. Miniconda is a small, bootstrap version of Anaconda that includes only conda, Python, the packages they depend on and a small number of other useful packages, including pip, zlib and a few others. Use the conda install command to install 720+ additional conda packages from the Continuum repository.

Download the installer for your operating system from https://conda.io/miniconda.html.

The following instructions uses the latest MacOSX release, replace the link in the wget command for you operating system.

$ wget https://repo.continuum.io/miniconda/Miniconda3-latest-MacOSX-x86_64.sh
$ bash Miniconda3-latest-MacOSX-x86_64.sh
# Installing dependencies like matplotlib is typically more reliable with conda than pip
$ conda install matplotlib

MacOS/Homebrew

$ brew install python3

Ubuntu

$ sudo apt-get install python3 python3-pip

Arch

$ pacman -S python python-pip

Installing Dependencies

Magma depends on some third-party libraries that should be installed using your operating system's package manager.

MacOS/Homebrew

$ brew install verilator gmp mpfr libmpc

Ubuntu

$ sudo apt-get install make gcc g++ verilator libgmp-dev libmpfr-dev libmpc-dev

Arch

$ pacman -S verilator gmp mpfr libmpc tk

User Setup

Magma is available as a pip package, install the lastest release with:

pip install magma-lang

Development Setup

Clone the magma repository

$ git clone https://github.com/phanrahan/magma
$ cd magma

Install magma as a symbolic package

$ pip install -e .

Install testing infrastructure and run tests to validate the setup

$ pip install pytest  # note that magma requires pytest version 3.3 or later
$ pip install fault 
$ pip install kratos
$ pytest tests

You should see something like

============================= test session starts ==============================
platform darwin -- Python 3.6.1, pytest-3.0.7, py-1.4.33, pluggy-0.4.0
rootdir: ..../repos/magmacore, inifile:
collected 70 items

tests/test_circuit/test_anon.py .
tests/test_circuit/test_declare.py .
tests/test_circuit/test_define.py .
tests/test_higher/test_braid.py .
tests/test_higher/test_curry.py .
tests/test_higher/test_currylut.py .
tests/test_higher/test_curryrom.py .
tests/test_higher/test_flat.py .
tests/test_higher/test_fork.py .
tests/test_higher/test_higher_compose.py .
tests/test_higher/test_join.py .
tests/test_interface/test_interface.py ....
tests/test_io/test_inout1.py .
tests/test_io/test_inout2.py .
tests/test_io/test_out1.py .
tests/test_io/test_out2.py .
tests/test_ir/test_declaretest.py .
tests/test_ir/test_ir.py .
tests/test_meta/test_class.py .
tests/test_meta/test_creg.py .
tests/test_simulator/test_counter.py .
tests/test_simulator/test_ff.py .
tests/test_simulator/test_logic.py .
tests/test_type/test_anon_type.py .
tests/test_type/test_array.py .
tests/test_type/test_array2d.py .
tests/test_type/test_arrayconstruct.py .
tests/test_type/test_arrayflip.py .
tests/test_type/test_arrayval.py .
tests/test_type/test_awire1.py .
tests/test_type/test_bit.py .
tests/test_type/test_bitflip.py .
tests/test_type/test_bitval.py .
tests/test_type/test_tuple.py .
tests/test_type/test_tupleconstruct.py .
tests/test_type/test_tupleflip.py .
tests/test_type/test_tupleval.py .
tests/test_type/test_twire1.py .
tests/test_type/test_type_errors.py ...
tests/test_type/test_vcc.py .
tests/test_type/test_whole.py .
tests/test_type/test_wire1.py .
tests/test_type/test_wire2.py .
tests/test_type/test_wire3.py .
tests/test_type/test_wire4.py .
tests/test_type/test_wire5.py .
tests/test_verilog/test_verilog.py .
tests/test_wire/test_arg1.py .
tests/test_wire/test_arg2.py .
tests/test_wire/test_array1.py .
tests/test_wire/test_array2.py .
tests/test_wire/test_array3.py .
tests/test_wire/test_call1.py .
tests/test_wire/test_call2.py .
tests/test_wire/test_compose.py .
tests/test_wire/test_const0.py .
tests/test_wire/test_const1.py .
tests/test_wire/test_errors.py ..
tests/test_wire/test_flip.py .
tests/test_wire/test_named1.py .
tests/test_wire/test_named2a.py .
tests/test_wire/test_named2b.py .
tests/test_wire/test_named2c.py .
tests/test_wire/test_pos.py .

========================== 70 passed in 1.45 seconds ===========================

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for leonardt from gravatar.com leonardt Avatar for rsetaluri from gravatar.com rsetaluri

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT
  • Maintainer: Lenny Truong
  • Requires: Python >=3.6

Release history Release notifications | RSS feed

3.0.2

3.0.1

3.0.0

2.6.8

2.6.2

2.6.1

2.6.0

2.5.2

2.5.1

2.4.0

2.3.1

2.3.0

2.2.62

2.2.61

2.2.60

2.2.58

2.2.57

2.2.56

2.2.55

This version

2.2.54

2.2.53

2.2.52

2.2.51

2.2.50

2.2.49

2.2.48

2.2.47

2.2.46

2.2.45

2.2.44

2.2.43

2.2.42

2.2.42b1 pre-release

2.2.42b0 pre-release

2.2.41

2.2.40

2.2.39

2.2.38

2.2.37

2.2.36

2.2.35

2.2.34

2.2.33

2.2.32

2.2.31

2.2.30

2.2.29

2.2.28

2.2.27

2.2.26

2.2.25

2.2.24

2.2.23

2.2.22

2.2.21

2.2.20

2.2.19

2.2.18

2.2.17

2.2.16

2.2.15

2.2.14

2.2.13

2.2.12

2.2.11

2.2.10

2.2.9

2.2.8

2.2.7

2.2.6

2.2.5

2.2.4

2.2.3

2.2.2

2.1.55

2.1.54

2.1.53

2.1.52

2.1.51

2.1.50

2.1.49

2.1.48

2.1.47

2.1.46

2.1.45

2.1.44

2.1.43

2.1.42

2.1.41

2.1.40

2.1.39

2.1.38

2.1.37

2.1.36

2.1.35

2.1.34

2.1.33

2.1.32

2.1.31

2.1.30

2.1.29

2.1.28

2.1.27

2.1.26

2.1.25

2.1.24

2.1.23

2.1.22

2.1.21

2.1.20

2.1.19

2.1.18

2.1.17

2.1.16

2.1.15

2.1.14

2.1.13

2.1.12

2.1.11

2.1.10

2.1.9

2.1.8

2.1.7

2.1.6

2.1.5

2.1.4

2.1.3

2.1.2

2.1.1

2.1.0

2.0.77

2.0.76

2.0.75

2.0.74

2.0.73

2.0.72

2.0.71

2.0.70

2.0.69

2.0.68

2.0.67

2.0.66

2.0.65

2.0.64

2.0.63

2.0.62

2.0.61

2.0.60

2.0.59

2.0.58

2.0.57

2.0.56

2.0.54

2.0.53

2.0.52

2.0.51

2.0.50

2.0.49

2.0.48

2.0.47

2.0.46

2.0.44

2.0.43

2.0.42

2.0.41

2.0.40

2.0.39

2.0.38

2.0.37

2.0.36

2.0.35

2.0.34

2.0.33

2.0.32

2.0.31

2.0.30

2.0.29

2.0.28

2.0.27

2.0.26

2.0.25

2.0.24

2.0.23

2.0.22

2.0.21

2.0.20

2.0.19

2.0.18

2.0.17

2.0.16

2.0.15

2.0.14

2.0.13

2.0.12

2.0.11

2.0.10

2.0.9

2.0.8

2.0.7

2.0.6

2.0.5

2.0.3

2.0.2

2.0.1

2.0.0

1.0.28

1.0.27

1.0.26

1.0.25

1.0.24

1.0.23

1.0.22

1.0.21

1.0.20

1.0.19

1.0.18

1.0.17

1.0.16

1.0.15

1.0.14

1.0.13

1.0.12

1.0.11

1.0.10

1.0.9

1.0.8

1.0.7

1.0.6

1.0.5

1.0.4

1.0.3

1.0.2

1.0.1

1.0.0

0.1.20

0.1.19

0.1.18

0.1.17

0.1.16

0.1.15

0.1.14

0.1.11

0.1.10

0.1.9

0.1.8

0.1.7

0.1.6

0.1.5

0.1.4

0.1.3

0.1.2

0.1.1

0.1

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

magma-lang-2.2.54.tar.gz (215.0 kB view details)

Uploaded Source

Built Distribution

magma_lang-2.2.54-py3.8.egg (686.8 kB view details)

Uploaded Source

File details

Details for the file magma-lang-2.2.54.tar.gz.

File metadata

  • Download URL: magma-lang-2.2.54.tar.gz
  • Upload date:
  • Size: 215.0 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.8.16

File hashes

Hashes for magma-lang-2.2.54.tar.gz
Algorithm Hash digest
SHA256 ab86eeb8578807eed4d56140f1dc1da3b95f8a867d7ba6e213d8a09b5ad53680
MD5 892af12f3a3fba1bb35d52118e3fdbbb
BLAKE2b-256 b551e86a0cb05ed6d22df69274e345d1c96107f2652aaa4ae8fa0fc67ac1b774

See more details on using hashes here.

File details

Details for the file magma_lang-2.2.54-py3.8.egg.

File metadata

  • Download URL: magma_lang-2.2.54-py3.8.egg
  • Upload date:
  • Size: 686.8 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.8.16

File hashes

Hashes for magma_lang-2.2.54-py3.8.egg
Algorithm Hash digest
SHA256 304e4cfb9d659205ced5d57b24fedb2f7bd9c50161e62a4d77d54972ff8b5fb3
MD5 ba9654660ae33d6bd5cef07c1e2ba8dc
BLAKE2b-256 05eafe051251c4e9d3bec541e22d9637f00d8ee4ea592ca3042c2e21eeb31cfc

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page