@@ -1753,157 +1753,81 @@ p, li { white-space: pre-wrap; }
17531753 <attribute name =" title" >
17541754 <string >ATPG</string >
17551755 </attribute >
1756- <widget class =" QWidget" name =" layoutWidget " >
1756+ <widget class =" QWidget" name =" layoutWidget_2 " >
17571757 <property name =" geometry" >
17581758 <rect >
17591759 <x >10</x >
1760- <y >10 </y >
1760+ <y >110 </y >
17611761 <width >1001</width >
1762- <height >191 </height >
1762+ <height >41 </height >
17631763 </rect >
17641764 </property >
1765- <layout class =" QVBoxLayout" name =" verticalLayout_13" >
1766- <property name =" sizeConstraint" >
1767- <enum >QLayout::SetFixedSize</enum >
1768- </property >
1765+ <layout class =" QHBoxLayout" name =" horizontalLayout_25" >
17691766 <item >
1770- <widget class =" QLabel" name =" atpg_label_19" >
1767+ <widget class =" QLabel" name =" label_19" >
1768+ <property name =" text" >
1769+ <string >Path Sensitization</string >
1770+ </property >
1771+ </widget >
1772+ </item >
1773+ <item >
1774+ <widget class =" QTextEdit" name =" pathAlgorithmEdit" >
17711775 <property name =" minimumSize" >
17721776 <size >
17731777 <width >0</width >
1774- <height >0 </height >
1778+ <height >30 </height >
17751779 </size >
17761780 </property >
17771781 <property name =" maximumSize" >
17781782 <size >
17791783 <width >16777215</width >
1780- <height >20 </height >
1784+ <height >30 </height >
17811785 </size >
17821786 </property >
1783- <property name =" text" >
1784- <string >Verilog file to test:</string >
1787+ <property name =" font" >
1788+ <font >
1789+ <family >KerkisSans</family >
1790+ <pointsize >12</pointsize >
1791+ <weight >50</weight >
1792+ <bold >false</bold >
1793+ </font >
17851794 </property >
17861795 </widget >
17871796 </item >
17881797 <item >
1789- <layout class =" QHBoxLayout" name =" horizontalLayout_23" >
1790- <item >
1791- <layout class =" QGridLayout" name =" gridLayout_3" />
1792- </item >
1793- <item >
1794- <widget class =" QTextEdit" name =" atpgFileEdit" >
1795- <property name =" sizePolicy" >
1796- <sizepolicy hsizetype =" Expanding" vsizetype =" Preferred" >
1797- <horstretch >0</horstretch >
1798- <verstretch >0</verstretch >
1799- </sizepolicy >
1800- </property >
1801- <property name =" minimumSize" >
1802- <size >
1803- <width >0</width >
1804- <height >0</height >
1805- </size >
1806- </property >
1807- <property name =" maximumSize" >
1808- <size >
1809- <width >16777215</width >
1810- <height >30</height >
1811- </size >
1812- </property >
1813- <property name =" font" >
1814- <font >
1815- <family >KerkisSans</family >
1816- <pointsize >12</pointsize >
1817- <weight >50</weight >
1818- <bold >false</bold >
1819- </font >
1820- </property >
1821- </widget >
1822- </item >
1823- <item >
1824- <widget class =" QPushButton" name =" atpgBrowseButton" >
1825- <property name =" minimumSize" >
1826- <size >
1827- <width >0</width >
1828- <height >30</height >
1829- </size >
1830- </property >
1831- <property name =" text" >
1832- <string >Browse...</string >
1833- </property >
1834- </widget >
1835- </item >
1836- </layout >
1837- </item >
1838- <item >
1839- <widget class =" QLabel" name =" atpg_label_20" >
1798+ <widget class =" QPushButton" name =" pathAlgorithmButton" >
1799+ <property name =" minimumSize" >
1800+ <size >
1801+ <width >0</width >
1802+ <height >30</height >
1803+ </size >
1804+ </property >
18401805 <property name =" text" >
1841- <string >D-Algorithm </string >
1806+ <string >Run </string >
18421807 </property >
18431808 </widget >
18441809 </item >
1845- <item >
1846- <layout class =" QHBoxLayout" name =" horizontalLayout_24" stretch =" 0,0" >
1847- <item >
1848- <widget class =" QTextEdit" name =" dAlgorithmEdit" >
1849- <property name =" minimumSize" >
1850- <size >
1851- <width >0</width >
1852- <height >30</height >
1853- </size >
1854- </property >
1855- <property name =" maximumSize" >
1856- <size >
1857- <width >16777215</width >
1858- <height >30</height >
1859- </size >
1860- </property >
1861- <property name =" font" >
1862- <font >
1863- <family >KerkisSans</family >
1864- <pointsize >12</pointsize >
1865- <weight >50</weight >
1866- <bold >false</bold >
1867- </font >
1868- </property >
1869- </widget >
1870- </item >
1871- <item >
1872- <widget class =" QPushButton" name =" dAlgorithmButton" >
1873- <property name =" minimumSize" >
1874- <size >
1875- <width >0</width >
1876- <height >30</height >
1877- </size >
1878- </property >
1879- <property name =" text" >
1880- <string >Run</string >
1881- </property >
1882- </widget >
1883- </item >
1884- </layout >
1885- </item >
18861810 </layout >
18871811 </widget >
1888- <widget class =" QWidget" name =" layoutWidget_2 " >
1812+ <widget class =" QWidget" name =" layoutWidget_3 " >
18891813 <property name =" geometry" >
18901814 <rect >
18911815 <x >10</x >
1892- <y >240 </y >
1816+ <y >160 </y >
18931817 <width >1001</width >
1894- <height >91 </height >
1818+ <height >41 </height >
18951819 </rect >
18961820 </property >
1897- <layout class =" QHBoxLayout" name =" horizontalLayout_25 " >
1821+ <layout class =" QHBoxLayout" name =" horizontalLayout_26 " >
18981822 <item >
1899- <widget class =" QLabel" name =" label_19 " >
1823+ <widget class =" QLabel" name =" label_20 " >
19001824 <property name =" text" >
1901- <string >Path Sensitization </string >
1825+ <string >Delay File </string >
19021826 </property >
19031827 </widget >
19041828 </item >
19051829 <item >
1906- <widget class =" QTextEdit" name =" pathAlgorithmEdit " >
1830+ <widget class =" QTextEdit" name =" delayFileEdit " >
19071831 <property name =" minimumSize" >
19081832 <size >
19091833 <width >0</width >
@@ -1927,39 +1851,71 @@ p, li { white-space: pre-wrap; }
19271851 </widget >
19281852 </item >
19291853 <item >
1930- <widget class =" QPushButton" name =" pathAlgorithmButton " >
1854+ <widget class =" QPushButton" name =" delayBrowseButton " >
19311855 <property name =" minimumSize" >
19321856 <size >
19331857 <width >0</width >
19341858 <height >30</height >
19351859 </size >
19361860 </property >
19371861 <property name =" text" >
1938- <string >Run </string >
1862+ <string >Browse </string >
19391863 </property >
19401864 </widget >
19411865 </item >
19421866 </layout >
19431867 </widget >
1944- <widget class =" QWidget" name =" layoutWidget_3 " >
1868+ <widget class =" QWidget" name =" layoutWidget_4 " >
19451869 <property name =" geometry" >
19461870 <rect >
19471871 <x >10</x >
1948- <y >350 </y >
1872+ <y >210 </y >
19491873 <width >1001</width >
1950- <height >91 </height >
1874+ <height >41 </height >
19511875 </rect >
19521876 </property >
1953- <layout class =" QHBoxLayout" name =" horizontalLayout_26 " >
1877+ <layout class =" QHBoxLayout" name =" horizontalLayout_27 " >
19541878 <item >
1955- <widget class =" QLabel" name =" label_20 " >
1879+ <widget class =" QLabel" name =" label_21 " >
19561880 <property name =" text" >
1957- <string >Delay File </string >
1881+ <string >Path Delay Fault - Critical Path </string >
19581882 </property >
19591883 </widget >
19601884 </item >
19611885 <item >
1962- <widget class =" QTextEdit" name =" delayFileEdit" >
1886+ <widget class =" QPushButton" name =" criticalPathButton" >
1887+ <property name =" minimumSize" >
1888+ <size >
1889+ <width >0</width >
1890+ <height >30</height >
1891+ </size >
1892+ </property >
1893+ <property name =" text" >
1894+ <string >Find</string >
1895+ </property >
1896+ </widget >
1897+ </item >
1898+ </layout >
1899+ </widget >
1900+ <widget class =" QWidget" name =" " >
1901+ <property name =" geometry" >
1902+ <rect >
1903+ <x >10</x >
1904+ <y >70</y >
1905+ <width >1001</width >
1906+ <height >32</height >
1907+ </rect >
1908+ </property >
1909+ <layout class =" QHBoxLayout" name =" horizontalLayout_23" >
1910+ <item >
1911+ <widget class =" QLabel" name =" atpg_label_20" >
1912+ <property name =" text" >
1913+ <string >Stuck-at Fault</string >
1914+ </property >
1915+ </widget >
1916+ </item >
1917+ <item >
1918+ <widget class =" QTextEdit" name =" dAlgorithmEdit" >
19631919 <property name =" minimumSize" >
19641920 <size >
19651921 <width >0</width >
@@ -1983,47 +1939,89 @@ p, li { white-space: pre-wrap; }
19831939 </widget >
19841940 </item >
19851941 <item >
1986- <widget class =" QPushButton" name =" delayBrowseButton " >
1942+ <widget class =" QPushButton" name =" dAlgorithmButton " >
19871943 <property name =" minimumSize" >
19881944 <size >
19891945 <width >0</width >
19901946 <height >30</height >
19911947 </size >
19921948 </property >
19931949 <property name =" text" >
1994- <string >Browse </string >
1950+ <string >Run </string >
19951951 </property >
19961952 </widget >
19971953 </item >
19981954 </layout >
19991955 </widget >
2000- <widget class =" QWidget" name =" layoutWidget_4 " >
1956+ <widget class =" QWidget" name =" " >
20011957 <property name =" geometry" >
20021958 <rect >
20031959 <x >10</x >
2004- <y >460 </y >
1960+ <y >10 </y >
20051961 <width >1001</width >
2006- <height >91 </height >
1962+ <height >51 </height >
20071963 </rect >
20081964 </property >
2009- <layout class =" QHBoxLayout" name =" horizontalLayout_27 " >
1965+ <layout class =" QHBoxLayout" name =" horizontalLayout_24 " >
20101966 <item >
2011- <widget class =" QLabel" name =" label_21" >
1967+ <widget class =" QLabel" name =" atpg_label_19" >
1968+ <property name =" minimumSize" >
1969+ <size >
1970+ <width >0</width >
1971+ <height >0</height >
1972+ </size >
1973+ </property >
1974+ <property name =" maximumSize" >
1975+ <size >
1976+ <width >16777215</width >
1977+ <height >20</height >
1978+ </size >
1979+ </property >
20121980 <property name =" text" >
2013- <string >Critical Path </string >
1981+ <string >Verilog file to test: </string >
20141982 </property >
20151983 </widget >
20161984 </item >
20171985 <item >
2018- <widget class =" QPushButton" name =" criticalPathButton" >
1986+ <widget class =" QTextEdit" name =" atpgFileEdit" >
1987+ <property name =" sizePolicy" >
1988+ <sizepolicy hsizetype =" Expanding" vsizetype =" Preferred" >
1989+ <horstretch >0</horstretch >
1990+ <verstretch >0</verstretch >
1991+ </sizepolicy >
1992+ </property >
1993+ <property name =" minimumSize" >
1994+ <size >
1995+ <width >0</width >
1996+ <height >0</height >
1997+ </size >
1998+ </property >
1999+ <property name =" maximumSize" >
2000+ <size >
2001+ <width >16777215</width >
2002+ <height >30</height >
2003+ </size >
2004+ </property >
2005+ <property name =" font" >
2006+ <font >
2007+ <family >KerkisSans</family >
2008+ <pointsize >12</pointsize >
2009+ <weight >50</weight >
2010+ <bold >false</bold >
2011+ </font >
2012+ </property >
2013+ </widget >
2014+ </item >
2015+ <item >
2016+ <widget class =" QPushButton" name =" atpgBrowseButton" >
20192017 <property name =" minimumSize" >
20202018 <size >
20212019 <width >0</width >
20222020 <height >30</height >
20232021 </size >
20242022 </property >
20252023 <property name =" text" >
2026- <string >Find </string >
2024+ <string >Browse... </string >
20272025 </property >
20282026 </widget >
20292027 </item >
0 commit comments