Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

logic simulation (keyword)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 2
Look more.. (1/170)
Export

export all inquiry results (2)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article

Logic simulation and fault collapsing with shared structurally synthesized BDDsMironov, Dmitri; Ubar, Raimund-Johannes; Raik, Jaan2014 19th IEEE European Test Symposium (ETS) : May 26th-30th, 2014, Paderborn, Germany : proceedings2014 / [2] p. : ill

book article
2

journal article EST / journal article ENG

Modeling and simulation of circuits with shared structurally synthesized BDDsUbar, Raimund-Johannes; Jürimägi, Lembit; Raik, Jaan; Viies, VladimirMicroprocessors and microsystems2017 / p. 56-61 : ill https://doi.org/10.1016/j.micpro.2016.09.006 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Number of records 2, displaying 1 - 2

1. logic simulation
2. logic models and simulation
3. logic and philosophy of logic
4. algebra of logic
5. binary logic controller
6. Boolean logic
7. constructive logic
8. default logic
9. diagrammatic logic
10. digital logic
11. dynamic logic
12. epistemic logic
13. ethics and logic
14. formal logic
15. fuzzy logic
16. fuzzy logic
17. fuzzy logic control
18. fuzzy logic controller
19. fuzzy logic controller (FLC)
20. fuzzy logic model
21. graphical method of logic
22. history of logic
23. Hoare logic
24. Husserl and Pierce on logic of probability
25. independence-friendly logic
26. intuitionistic logic
27. linear logic
28. logic
29. logic built-in self-test
30. logic cell library
31. logic circuit
32. logic design
33. logic diagram
34. logic diagrams
35. logic education
36. logic for pragmatics
37. logic gates
38. logic in computer science
39. logic in society
40. logic level
41. logic level and high level BDDs
42. logic locking
43. logic models
44. logic notation
45. logic obfuscation
46. logic of bunched implications
47. logic of relatives
48. logic of speech acts
49. logic synthesis
50. logic teaching
51. logic-based distributed routing
52. malicious logic
53. mathematical logic
54. modal logic
55. Natural logic
56. Peirce's existential graphs and transcendental logic
57. philosophical logic
58. philosophy of logic
59. pragmatic logic
60. probabilistic relational program logic
61. programmable logic
62. programmable logic controller (PLC)
63. quantitative logic
64. quantum logic
65. race logic
66. reconfigurable logic
67. routing logic
68. S4 modal logic
69. S-D logic
70. Service-Dominant logic
71. stateful logic computation
72. substructural logic
73. symbolic knowledge in Husserlian pure logic
74. symbolic logic
75. temporal logic
76. annual energy simulation
77. back traced simulation
78. building energy simulation
79. building simulation
80. casting simulation
81. CFD simulation
82. circuit simulation
83. CoCoViLa simulation environment
84. computer simulation
85. computer simulation environments
86. cooling simulation
87. co-simulation
88. data simulation
89. digital real time simulation
90. dynamic simulation
91. electric field simulation
92. emergency simulation
93. energy simulation
94. energy simulation software
95. environmental performance assessment and simulation
96. Fault Injection Simulation
97. fault simulation
98. fault simulation with critical path tracing
99. finite element method (FEM) simulation
100. finite element simulation
101. fluid flow simulation
102. FMS modelling and simulation
103. fullscale simulation
104. gait simulation
105. hardware-in-the loop simulation
106. Hardware-in-the-Loop simulation
107. high-level fault simulation
108. hospital simulation
109. hot/cold pressing and finite element model simulation
110. hygrothermal simulation
111. impact-abrasive simulation
112. intelligent simulation
113. intelligent simulation environment
114. LES (large eddy simulation) method
115. magnetics field simulation
116. Mathematical simulation
117. MATLAB simulation
118. medical simulation
119. meso-scale simulation
120. MICA2 simulation
121. modeling and simulation
122. modelling and simulation
123. Monte Carlo simulation
124. Monte Carlo simulation (MCS)
125. multi agent simulation
126. multiscale simulation
127. Multi-valued Simulation for Hazard Detection in Digital Circuits
128. numerical simulation
129. Parallel Fault Simulation with Critical Path Backtracing
130. parallel fault-simulation
131. parallel simulation
132. phase diagram simulation
133. power system simulation
134. ray-tracing simulation
135. real time simulation
136. real-time simulation
137. register transfer and gate level simulation
138. response simulation
139. rheology simulation
140. signal simulation
141. signal simulation and modeling
142. similar material simulation test
143. simulation
144. simulation analysis
145. simulation applications
146. simulation based static optimization
147. simulation based TMY
148. simulation model
149. simulation modeling
150. simulation models
151. simulation of air change
152. simulation of energy consumption
153. simulation software "Delphin"
154. simulation training
155. simulationbased decision support
156. simulation-based verification
157. spinach simulation
158. SUMO simulation
159. supply chain simulation
160. systems simulation
161. TD-DFT simulation
162. urban simulation
163. validation of simulation model
164. wear simulation
165. vehicle simulation
166. whole building simulation
167. visual simulation
168. 3D simulation
169. 5G New Radio simulation
170. (co-)simulation

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu