bluespec 37 bluespec-systemverilog 12 fpga 10 verilog 5 bluespec-systemverilog-language 5 hardware 4 bsv 4 risc-v 4 syntax-highlighting 3 hardware-designs 3 gplv3 2 gpl3 2 bluespec-language 2 bluespec-lang 2 processor-architecture 2 hdl 2 jtag 2 hardware-libraries 2 notepad-plus-plus 2 hardware-architectures 2 cryptography 2 compiler 2 systemverilog 2 coq 2 hardware-description-language 2 wishbone 1 debugging 1 bus 1 vs-code-extenstion 1 vivado 1 vhdl 1 cordic-algorithm 1 cordic 1 mips 1 board 1 ook 1 latex 1 neuroscience 1 cpp 1 cpld 1 rtl 1 riscv 1 basys3 1 isa 1 icebreaker 1 zynq 1 formal-verification 1 j1 1 sha3 1 keccak 1 tvla 1 shakti 1 aes 1 vlsi-physical-design 1 vlsi-design 1 vlsi-cad 1 state-machine 1 easy-to-expand 1 vlsi 1 vector-processor 1 ram 1 processor-design 1 processor 1 hardware-acceleration 1 easy-to-use 1 bitmap 1 usb-serial-adapters 1 uart 1 altera 1 on-chip-network 1 network-on-chip 1 tilelink 1 omnixtend 1 coherence 1 asic 1 switch 1 routing 1 prototype 1 p4c 1 networking 1 proof-assistant 1 hardware-verification 1 lwc 1 cryptocore-interface 1 nix-flake 1 nix 1 cmake-modules 1 cmake 1 ice40 1 learn-bluespec-language 1 learn-bluespec-lang 1 learn-bluespec 1 web-ide 1 web-development 1 snuprogrammingtools 1 snuprogramming-tools 1 snu2dprogrammingtools 1 snu2dprogramming-tools 1 snu2d-programmingtools 1 snu-programming-tools 1