.. 
			 
		
		
			
			
			
			
				
					
						
							
								
								
									
									
									 APPNOTE_011_Design_Investigation
									
								 
							
						
					 
				 
				
					
						
							
							suppressing semi-colon at the end of dot files 
						
					 
				 
				2014-12-05 18:17:00 +01:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 CHAPTER_Eval
									
								 
							
						
					 
				 
				
					
						
							
							Fixed trailing whitespaces 
						
					 
				 
				2015-07-02 11:14:30 +02:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 CHAPTER_Prog
									
								 
							
						
					 
				 
				
					
						
							
							Consistent use of 'override' for virtual methods in derived classes. 
						
					 
				 
				2018-07-20 23:51:06 -07:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 CHAPTER_StateOfTheArt
									
								 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 PRESENTATION_ExAdv
									
								 
							
						
					 
				 
				
					
						
							
							Fixed trailing whitespaces 
						
					 
				 
				2015-07-02 11:14:30 +02:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 PRESENTATION_ExOth
									
								 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 PRESENTATION_ExSyn
									
								 
							
						
					 
				 
				
					
						
							
							Progress in presentation 
						
					 
				 
				2014-06-21 16:33:33 +02:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 PRESENTATION_Intro
									
								 
							
						
					 
				 
				
					
						
							
							Fixed trailing whitespaces 
						
					 
				 
				2015-07-02 11:14:30 +02:00  
			 
		
			
			
			
			
				
					
						
							
								
								
									
									
									 PRESENTATION_Prog
									
								 
							
						
					 
				 
				
					
						
							
							Consistent use of 'override' for virtual methods in derived classes. 
						
					 
				 
				2018-07-20 23:51:06 -07:00  
			 
		
			
			
			
			
				
					
						
							
								 .gitignore 
							
						
					 
				 
				
					
						
							
							presentation progress 
						
					 
				 
				2014-01-29 12:15:38 +01:00  
			 
		
			
			
			
			
				
					
						
							
								 APPNOTE_010_Verilog_to_BLIF.tex 
							
						
					 
				 
				
					
						
							
							Some ASCII encoding fixes (comments and docs) by Larry Doolittle 
						
					 
				 
				2015-08-13 09:30:20 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 APPNOTE_011_Design_Investigation.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 APPNOTE_012_Verilog_to_BTOR.tex 
							
						
					 
				 
				
					
						
							
							Renamed opt_const to opt_expr 
						
					 
				 
				2016-03-31 08:46:56 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 appnotes.sh 
							
						
					 
				 
				
					
						
							
							Appnote 012 
						
					 
				 
				2015-04-04 14:52:25 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Appnotes.tex 
							
						
					 
				 
				
					
						
							
							Updated command reference in manual 
						
					 
				 
				2016-02-14 11:02:11 +01:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Approach.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Auxlibs.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Auxprogs.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Basics.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_CellLib.tex 
							
						
					 
				 
				
					
						
							
							Add $allconst and $allseq cell types 
						
					 
				 
				2018-02-23 13:14:47 +01:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Eval.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Intro.tex 
							
						
					 
				 
				
					
						
							
							Fixed trailing whitespaces 
						
					 
				 
				2015-07-02 11:14:30 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Optimize.tex 
							
						
					 
				 
				
					
						
							
							Added warning about adding fsm_encoding attributes to wires to manual 
						
					 
				 
				2016-07-08 18:31:31 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Overview.tex 
							
						
					 
				 
				
					
						
							
							Renamed opt_share to opt_merge 
						
					 
				 
				2016-03-31 08:52:49 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Prog.tex 
							
						
					 
				 
				
					
						
							
							Improvements in CodingReadme 
						
					 
				 
				2014-12-31 14:28:27 +01:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_StateOfTheArt.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Techmap.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 CHAPTER_Verilog.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 clean.sh 
							
						
					 
				 
				
					
						
							
							Use -E sed parameter instead of -r. 
						
					 
				 
				2017-02-04 18:26:01 -08:00  
			 
		
			
			
			
			
				
					
						
							
								 command-reference-manual.tex 
							
						
					 
				 
				
					
						
							
							Updated command reference in manual 
						
					 
				 
				2016-11-02 19:25:28 +01:00  
			 
		
			
			
			
			
				
					
						
							
								 literature.bib 
							
						
					 
				 
				
					
						
							
							Fixed CRLF line endings 
						
					 
				 
				2015-08-13 09:35:00 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 manual.sh 
							
						
					 
				 
				
					
						
							
							Added first presentation slides 
						
					 
				 
				2014-01-27 17:08:19 +01:00  
			 
		
			
			
			
			
				
					
						
							
								 manual.tex 
							
						
					 
				 
				
					
						
							
							Fix a few typos in the manual 
						
					 
				 
				2016-04-03 14:29:11 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 presentation.sh 
							
						
					 
				 
				
					
						
							
							Some fixes in presentation 
						
					 
				 
				2014-11-08 12:39:01 +01:00  
			 
		
			
			
			
			
				
					
						
							
								 presentation.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 PRESENTATION_ExAdv.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 PRESENTATION_ExOth.tex 
							
						
					 
				 
				
					
						
							
							Spell check (by Larry Doolittle) 
						
					 
				 
				2015-08-14 10:56:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 PRESENTATION_ExSyn.tex 
							
						
					 
				 
				
					
						
							
							Renamed opt_share to opt_merge 
						
					 
				 
				2016-03-31 08:52:49 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 PRESENTATION_Intro.tex 
							
						
					 
				 
				
					
						
							
							Another block of spelling fixes 
						
					 
				 
				2015-08-14 23:27:05 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 PRESENTATION_Prog.tex 
							
						
					 
				 
				
					
						
							
							Minor presentation fixes 
						
					 
				 
				2016-05-14 11:35:39 +02:00  
			 
		
			
			
			
			
				
					
						
							
								 weblinks.bib 
							
						
					 
				 
				
					
						
							
							Fixed CRLF line endings 
						
					 
				 
				2015-08-13 09:35:00 +02:00