A geometric approach to register transfer level satisfiability | Publicación