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 publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

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

match

sort

Otsing
Valikud 0

year of publication

author

TTÜ 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