Rick Altherr

``` sudo lsusb -d 1209:3443 -v Bus 001 Device 013: ID 1209:3443 Generic Orbtrace Device Descriptor: bLength 18 bDescriptorType 1 bcdUSB 2.00 bDeviceClass 0 bDeviceSubClass 0 bDeviceProtocol 0 bMaxPacketSize0 64...

Does something like FuseSoC meet your needs in this space?

From what I've seen (Spartan-6 FPGA Configuration User Guide UG380), low-level bitstream format (BIT header, but-width detection, synchronization word) is the same between Spartan6 and 7-series. Packet structure and overall...

That's the medium-term goal for Gaffe after enough basic libraries exist to do things like parse BLIF and serialize a graph. See also https://github.com/rdaly525/coreir. On Fri, Nov 16, 2018 at...

@drom and I have started building out parsers for BLIF ( https://github.com/gaffe-logic/tree-sitter-blif) and Verilog ( https://github.com/drom/tree-sitter-verilog) based on http://github.com/tree-sitter/tree-sitter. So far, tree-sitter feels easier to develop a grammar and tests...

One of my goals is to use the same parsers for editor features such as syntax highlighting, identifier renaming, etc. Those require as-you-type performance and incremental parsing, precisely what tree-sitter...

Sure. Parsers are a somewhat later concern. Any IR will need a detailed spec to enable a variety of implementations. An existing grammar (ANTLR or otherwise) is insufficient as a...

I've been making BLIFs to exercise different parts of the grammar for my Rust BLIF parser at https://github.com/gaffe-logic/blif/tree/master/examples . Feel free to use them.

I started on a new [BLIF parser](https://github.com/gaffe-logic/tree-sitter-blif) using GitHub's recently released [Tree Sitter](https://github.com/tree-sitter/tree-sitter) incremental parser framework.

I've tested this PR w/ my ORBtrace Mini and confirm that it allows that probe to be used (fixes #1135)