Skip to content

Commit

Permalink
Verilog: support validator
Browse files Browse the repository at this point in the history
- Use NONE for intensional fails.

- Use KNOWN-INVALIDATION for fails by svlint.

Signed-off-by: Hiroo HAYASHI <24754036+hirooih@users.noreply.github.com>
  • Loading branch information
hirooih committed Aug 5, 2023
1 parent ebe7fa4 commit 433c116
Show file tree
Hide file tree
Showing 11 changed files with 45 additions and 0 deletions.
1 change: 1 addition & 0 deletions Units/parser-verilog.r/systemverilog-assertion.d/validator
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
KNOWN-INVALIDATION
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
KNOWN-INVALIDATION
1 change: 1 addition & 0 deletions Units/parser-verilog.r/systemverilog-checker.d/validator
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
KNOWN-INVALIDATION
1 change: 1 addition & 0 deletions Units/parser-verilog.r/systemverilog-directive.d/validator
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
KNOWN-INVALIDATION
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
KNOWN-INVALIDATION
1 change: 1 addition & 0 deletions Units/parser-verilog.r/systemverilog-github646.d/validator
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
NONE
1 change: 1 addition & 0 deletions Units/parser-verilog.r/systemverilog-net-var.d/validator
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
KNOWN-INVALIDATION
1 change: 1 addition & 0 deletions Units/parser-verilog.r/validator
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
svlint
1 change: 1 addition & 0 deletions Units/parser-verilog.r/verilog-github624.d/validator
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
NONE
1 change: 1 addition & 0 deletions Units/parser-verilog.r/verilog-memleak.d/validator
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
NONE
35 changes: 35 additions & 0 deletions misc/validators/validator-svlint
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
# -*- sh -*-
# validator-svlint - validating Verilog/SystemVerilog input files with svlint
# https://github.com/dalance/svlint
#
# Copyright (c) 2023 Masatake YAMATO
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
# as published by the Free Software Foundation; either version 2
# of the License, or (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
# USA.
#
action=$1
input="$2"
cmd=svlint
flags="--ignore-include"
case "$action" in
is_runnable)
type $cmd > /dev/null 2>&1
exit $?
;;
validate)
$cmd $flags "$input" > /dev/null
exit $?
;;
esac

0 comments on commit 433c116

Please sign in to comment.