blob: d4d2df4ae765878f5103ba13065decd6d635cd09 [file] [log] [blame]
#! /usr/bin/python
import re
import string
def isType(filename, filetype):
"""Return true if the filename as the filetype extension"""
return re.search("\." + filetype + "$", filename) != None
def isBlif(file):
"""Return true if the file has the .blif extension."""
return re.search("\.blif$", file) != None
def isBlifMV(file):
"""Return true if the file has the .mv extension."""
return re.search("\.mv$", file) != None
def isVerilog(file):
"""Return true if the file has the .v extension."""
return re.search("\.v$", file) != None
def isXML(file):
"""Return true if the file has the .xml extension."""
return re.search("\.xml$", file) != None
def isSoft(file):
return re.search("soft\.blif$", file) != None
def trimExtensions(filename):
"""return the string up until the first period."""
return filename[0:string.find(filename, "."):1]
def trimDotV(filename):
"""Trim the .v from a file name entry."""
return filename[0:string.find(filename, ".v"):1]