{ pkgs ? import <nixpkgs> {} }:

with pkgs; mkShell {
  packages = [ verilog gnumake ];
}