jotego / Jt89
Licence: gpl-3.0
sn76489an compatible Verilog core, with emphasis on FPGA implementation and Megadrive/Master System compatibility
Stars: ✭ 14
Labels
Projects that are alternatives of or similar to Jt89
Category Theory
An axiom-free formalization of category theory in Coq for personal study and practical work
Stars: ✭ 562 (+3914.29%)
Mutual labels: coq
Autosubst
Automation for de Bruijn syntax and substitution in Coq
Stars: ✭ 22 (+57.14%)
Mutual labels: coq
Software Foundations
Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.
Stars: ✭ 9 (-35.71%)
Mutual labels: coq
Stalin Sort
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
Stars: ✭ 868 (+6100%)
Mutual labels: coq
Micro Policies Coq
Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
Stars: ✭ 18 (+28.57%)
Mutual labels: coq
Monads
Coq code accompanying several articles on semantics of functional programming languages
Stars: ✭ 9 (-35.71%)
Mutual labels: coq
Finset
A Coq library for extensional finite sets and comprehension
Stars: ✭ 6 (-57.14%)
Mutual labels: coq
Cufp 2015 Tutorial
An introductory tutorial for the Coq proof assistant.
Stars: ✭ 9 (-35.71%)
Mutual labels: coq
Unimath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Stars: ✭ 680 (+4757.14%)
Mutual labels: coq
Dblib Linear
Formalisation of the linear lambda calculus in Coq
Stars: ✭ 10 (-28.57%)
Mutual labels: coq
@topapate)
JT89 FPGA Clone of sn76489an hardware by Jose Tejada (===================================================================
You can show your appreciation through
sn76489an compatible Verilog core, with emphasis on FPGA implementation and Megadrive/Master System compatibility.
This project aims to make a Verilog core that will:
- Produce signed output waveforms, with no DC offset
- Produce accurate volume
- Have volume limiting like reportedly Master System had
- Different volume settings for noise channel as reported
- Test if Megadrive 2 version had different volume and apply it
- Reported variations on noise signal length
- Use one single clock for all registers, making it easy to synthesize and constraint on FPGAs
- It will fit well with JT12 (https://github.com/jotego/jt12) in order to produce the Megadrive sound system
- Have separate output channels, so they can be mixed using the interpolator before the sigma-delta DAC
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].