Skip to search formSkip to main contentSkip to account menu

Infineon XMC

Known as: Infineon XMC4000, XMC, XMC4000 
XMC is a family of microcontroller ICs by Infineon. The XMC microcontrollers use the 32-bit RISC ARM processor cores from ARM Holdings, such as… 
Wikipedia (opens in a new tab)

Related topics

Related topics

14 relations
32-bitARM Cortex-MCompilerDebugger

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
A Novel Back to Back Inverter Configuration for Solar Water Pumping and Grid-Tie Application
The use of photovoltaic (PV) as an energy source for pumping water is one of the most promising areas of photovoltaic… 
2010
2010
Fast acquisition of GPS signal using extended multiple correlator based on FPGA
This paper presents a detailed design of GPS signal fast acquisition system using the method of extended multiple correlator in… 
Review
2007
Review
2007
Silicon carbide power devices - status and upcoming challenges
The paper will give an overview of the status of SiC power devices with a focus on commercial, non- military applications… 
2002
2002
Extended Multiple Correlator for GPS Receivers
This paper tries to analyze a signal detection probability of a GPS receiver under more realistic environments. The result shows… 
2002
2002
Logic Programming and Partial Deduction for the Verification of Reactive Systems : An Experimental Evaluation ( Abstract of ongoing work )
In earlier work it has been shown that finite state CTL model checking of reactive systems can be achieved by a relatively simple… 
2001
2001
A Model Checker for Value-Passing Mu-Calculus Using Logic Programming
Recent advances in logic programming have been successfully used to build practical verification toolsets, as evidenced by the… 
2000
2000
Model Checking Linear Temporal Logic Using Tabled Logic Programming
Logic Programming (LP) has been used in the last few years to construct model checkers [RRR97, DP99, LM99]. These model checkers… 
2000
2000
Model checking the Java meta-locking algorithm
We apply the XMC model checker to the Java meta-locking algorithm, a highly optimized technique for ensuring mutually exclusive… 
1999
1999
An Optimizing Compiler for E cient Model CheckingYifei
Di erent model checking tools o er a variety of speci cation languages to encode systems. These speci cations are compiled into… 
1998
1998
Tabulation-based Induction Proofs with Application to Automated Verification
XSB [14] is a tabled logic programming system designed to address shortcomings in Prolog’s SLD eval-uation mechanism for Horn… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)